From: ouimet@iro.umontreal.ca (Daniel Ouimet)
Newsgroups: news.announce.conferences
Subject: could you send this to News.announce.conferences
Date: 19 Aug 92 00:02:58 GMT
Expires: Wed, 30 Sep 1992 07:00:00 GMT
Organization: (none)


     5th International Workshop on Protocol Test Systems - IWPTS'92
                     September 28 - 30, 1992
                     Montreal, Quebec, Canada

(Registration form after this preliminary program)

                       PRELIMINARY PROGRAM

	SUNDAY, September 27
Registration:  17:00 - 20:00, - Reception:  18:00 - 21:00

	MONDAY, September 28
Registration:  08:30 - 09:15
Welcoming Remarks:  09:15 - 09:30
Invited Presentation:  09:30-10:30
Bill Davis (Hewlett-Packard, IDACOM, Canada), Issues in B-ISDN Testing

Coffee break:  10:30 - 11:00
Session:  11:00 - 12:30
The Limited Power of Testing,  M. Phalippou (CNET LAA / SLC / EVP, France).
On Asynchronous Testing;  L. Verhaard, J. Tretmans, P. Kars & E. Brinksma (Univ.
Twente, Netherlands).
Characterizing and Ordering Errors Detected by Conformance Testing, K. Drira, P. Azema,
B. Soulas & A.M. Chemali  (LAAS-CNRS & DER-EDF, France).

Lunch at the Hotel:  12:30 - 14:00
Invited Presentation:  14:00- 15:00
Michel Haulard la Biere (SEPT, France), Experience of SEPT Test Centre for WAN

Coffee break:  15:00 - 15:30
Session:  15:30 - 17:00
On Inconclusive Verdict in Conformance Testing, S.T. Chanson & Q. Li (UBC, Canada).
Automated Test Case Selection based on Test Coverage Metrics, M. McAllister, S.T.
Vuong & J. Alitovic-Curgus (UBC, Canada).
A Reduced State Graph for Symmetrical Protocols, S. Haddad, J.M. Ilie & B. Zouri (Univ.
de Paris VI).

Cocktails :   18:30 - 20:00

	TUESDAY, September 29
Session:  09:00 - 10:00
An Approach to the Test of an ATM-Based Signalling Application, M. Di Concetto, G.
Marino, E. Merli & F. Zizza (Italtel SIT & CRL, Italy).
An Operational Semantics for Concurrent TTCN, T. Walter (SFIT).
Discussion Session:  10:00 - 10:30
Protocol  Testers based on TTCN

Coffee break:  10:30 - 11:00
Presentations of tool demonstations:  11:00 - 12:30

Lunch at the hotel:  12:30 - 14:00
Discussion Session:  14:00 - 15:30
The Silence of the LANs, D.J. Dwyer (NCC, UK).
Interoperability Testing
Discussion Session:  14:00 - 15:30
Test Coverage and Testability

Coffee Break: 15:00 - 15:30
Session:  16:30 - 17:30
Specification and derivation of OSI Conformance Test Suites, T. Robles, J. A. Manas &
G. Huecas (Univ. Cuidad, Spain).
Interactive test generation from LOTOS Specifications, RS.P. van de Buergt, J. Kroon,
A.M. Peeters (PTT Research, Netherlands).
Test System for a restricted Class of LOTOS Expression with Data Parameters, T.
Higashino (Univ. Osaka), G. v. Bochmann, X. Li (Univ. Montreal), K. Yasumoto & K.
Taniguchi (Univ. Osaka, Japan).
Session:  16:30 - 17:30
Applications of Sufficient Conditions for Efficient Protocol Test Generation, A. Chung &
D. Sidhu (Univ. Maryland, USA).
A Further Optimization Technique for Conformance Testing Based on Multiple UIO
Sequences, Z. Lidong, L. Jiren & L. Huatian (Northeast Univ. Tech. Shenyang, China)
Automated Protocol Test Generation based on Formal Methods for LOTOS Specifications,
A. R. Cavalli & S.U. Kim (INT, France)

Cocktails and Banquet :   19:00 - 22:00

	WEDNESDAY, September 30
Session:  09:00 - 10:30
The IS-IS Multi-Party Conformance Test System, D. Tang, Jinsheng Liu, J.P. Favreau
(NIST, USA).
ISO Test Methods and their Applicability to the GSM Mobile Network System  R. Kster
& M. Dicks (Detecon, Germany).
Non-Deterministic and Default Behaviour (Experience gained from the GSM conformance
test project), M. Witteman, R. van Wuijswinkel & S.R. Berkhout (PTT Research,
Netherlands).

Coffee break:  10:30 - 11:00
Discussion Session:  11:00 - 12:00
GSM Testing Issues

Lunch at the hotel:  12:00 - 13:30
Invited Presentation:  13:30 - 14:30
Gaudel (Univ. Paris Sud, France),Test selection based on ADT Specifications

Coffee Break: 14:30 - 15:00
Session:  15:00 - 16:00
Test Derivation from  Non-Deterministic Finite  State Machines, H. Kloosterman (PTT
Research, Netherlands).
Generation of Adaptive Test Cases from  Non-Deterministic Finite State Models, P.
Tripathy & K. Naik (Concordia Univ., Canada).

TOOL DEMONSTRATIONS:

Demonstrations of software tools related to protocol testing will be provided
during the workshop. Proposals for demonstrations, along with their hardware
and software requirements, should be submitted before August 20, 1992. A number
of SUN workstations running Unix will be available. Priority will be given to
demonstrations related to the papers presented at the workshop.

LOCATION
All events will be held at the Queen Elizabeth Hotel, 900, Blvd. Rene-Levesque
West, Montreal (Quebec), Canada .

CLIMATE
The temperatures in late September range from the average high of 10C to the 15C.
Rain showers are possible with, say, 30% probability.

ATTRACTIONS
The hotel is located in the heart of downtown Montreal, just minutes from
commercial areas with plenty of animation and more rustic areas with Old World
charm.  The city of Montreal will celebrate its 350th birthday this year.  Many
visitors have enjoyed the numerous cafes, artists' hang-outs, boutiques and fine
restaurants, and the district of Old Montreal against the backdrop of the St.-
Lawrence river.  The organizing committee will provide special guidance to the
better restaurants in the city.

TRANSPORTATION
Air Canada has been designated the official carrier for IWPTS'92.  For travel
within Canada and USA a 15% discount off the standard economy fare is available
with a 2-night minimum/15-day maximum stay requirement. Between Canada and USA
a 35% discount (subject to availability, discount of 35% for booking class B
and discount of 40 % for booking class H")  with a 2-night minimum/15-day
maximum stay requirement.  For the 15% or the 35%-40% discount, reservations
must be made 7 days in advance.  To obtain a convention discount, you must call
Air Canada 1-800-361-7585 and refer to file number: CV920658.
Distance from Dorval Airport to The Queen Elizabeth is less than 20 km.
Distance from Mirabel International Airport to The Queen Elizabeth is 60 km.
The Dorval Airport shuttle to Queen Elizabeth will cost 8,50$ CAN, and a taxi
20$ CAN.
The Mirabel Airport shuttle to central bus station will cost 11,75$ CAN, and a
taxi 45$.
The name of the shuttle company is Aeroplus (633-1100).
The Queen Elizabeth Hotel is about 45 minutes driving from the Mirabel
International Airport and 20 minutes from Dorval Airport, subject to good
traffic conditions.

ADVANCE REGISTRATION
Please use a copy of this form to pre-register. Advance registration closes
August 30, 1992. After this date, registration is subject to a late fee.
Please mail your completed form with cheque (drawn on a North American Bank)
or money order (in Canadian funds) payable to IWPTS'92 to:
IWPTS'92
c/o Lucie Levesque
Departement d'informatique et de recherche operationnelle
2900, blvd. Edouard-Montpetit (U-221), Universite de Montreal
Montreal, (Quebec), Canada, H3C 3J7

The regular registration fee includes a reception on Sunday evening, lunch
on Monday and on Wednesday, the reception and banquet on Tuesday evening,
coffee breaks, and a copy of the proceedings.
The student registration fee includes everything except the banquet.
Requests for refunds will be honoured until August 30, 1992.
For further information please contact Lucie Levesque at:
(email)  levesque@iro.umontreal.ca
(phone) (514) 343-6111, extension 3520 or
(fax)   (514) 343-5834.

IWPTS'92 Registration Form
Family name
Given name
Affiliation

Address


Postal code                             Country
Phone number
e-mail
Vegetarian ?
				before August 30	after
Regular participant		270			320
Student				110			130
Addtitional banquet tickets	 70			 70
Total enclosed _____________CAN$ includes  all taxes.

A block of rooms has been reserved for the IWPTS'92 participants. If you wish
to reserve one of these rooms, please complete the form below and return to:
IWPTS'92
The Queen Elizabeth Hotel
900, Blvd. Rene-Levesque West
Montreal (Quebec) CANADA
H

The Queen Elizabeth can be reached from the USA through the toll-free
Canadian Pacific reservation service at 1-800-828-7447.  Otherwise, the hotel
may be reached directly at 1-514-878-9000.  The hotel fax number is
1-514-878-6761. Please mention that you are part of IWPTS'92.  Reservations
must be received by August 30, 1992.  Reservations should be confirmed with
either a check covering the first night's stay, or by any major credit card.
The conference rate at The Queen Elisabeth is $105.00 Cdn (single occupancy)
and $115.00 Cdn (double occupancy). There is a charge of $25.00 per extra
person up to a maximum of four (4).  Children under eighteen are free. All
rates are net, although the 7% goods and services tax (GST) is refundable to
non-Canadian residents.  Please do not delay your hotel reservation as August 30
is fast approaching.  Check-in time is 4:00 p.m. and check-out time is 12:00
noon.  For those participants wishing to arrive early or to stay on, the
conference rate will be honored for three nights before or after the conference.

IWPTS'92 Hotel Reservation Form
Family name
Given name
Affiliation
Address


Postal code                              Country
Phone number
Arrival date/time _________________________________
Single or double
Deposit enclosed  _____________ CAN $ _____________ US$
or Credit card
Card No.
Expiry date
Signature



--
======================================================================
Daniel Ouimet				ouimet@iro.umontreal.ca
Universite de Montreal, Dept. IRO. S-240, C.P. 6128, succursale A
Montreal (Quebec) H3C 3J7, CANADA   (514) 343-6111 ext. 3506