From: ouimet@iro.umontreal.ca (Daniel Ouimet)
Newsgroups: news.announce.conferences
Subject: IWPTS'92  *** CORRECTION ***
Date: 22 Aug 92 00:02:24 GMT
Expires: Wed, 30 Sep 1992 07:00:00 GMT
Organization: (none)


THIS IS A CORRECTION OF THE PRELIMINARY PROGRAM FOR IWPTS'92
(The previous one is an old version with some mistakes, I apologize for
the problems it may have caused)


		5th International Workshop on Protocol Test Systems
				(IWPTS'92)
			  September 28 - 30, 1992
			  Montreal, Quebec, Canada
	Organized by:
Chairperson:		Gregor v. Bochmann, Universite de Montreal and CRIM
Local Arrangements:	Rachida Dssouli, Universite de Montreal
Treasurer:		Anindya Das, Universite de Montreal
Registration Chair:	Lucie Levesque, Universite de Montreal



	Program Committee:
G. v. Bochmann, Universite de Montreal, Program Chair
E. Brinksma, University of Twente, Netherlands
B. Davis, Idacom Electronics Ltd., Canada
D. Dwyer, NCC, England
J.-P. Favreau, NIST, USA
D. Hogrefe, University of Bern, Switzerland
M. Hornbeek/R. Tarazi, Tekelec, USA
L. Kahn, RACE Industrial Consortium, Sweden
J. Kroon, PTT Research, Netherlands
P. Marchese, CSELT, Italy
T. Mizuno, Mitsubishi Electric Corp., Japan
A. Petrenko, ESTI, Riga Latvia
O. Rafiq, Lab. TASC, France
S.V. Raghavan, Indian Inst. of Technoloqy, India
D. Sidhu, University of Maryland, USA
K. Stoettinger, Fernmeldeamt Wiesbaden, Germany
O. Takahashi, NTT, Japan
L. Terry, BNR, Ottawa
M. Uyar, AT&T Bell Laboratories, USA
H. Zeng, Chengdu Inst. Computer Application, China
G. Zoerntlein, IBM-ENC, Germany


	Financial Support from:
Computer Research Institute of Montreal, (CRIM)
National Sciences and Engineering Research Council of Canada, (NSERC)
IDACOM-NSERC-CWARC Industrial Research Chair on Communication Protocols
(incomplete list)


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

	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
Topic: Issues in  broadband ISDN Testing  (speaker to be confirmed)
Coffee break:  10:30 - 11:00
Theoretical Foundations:  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 Briere (SEPT, France) on the topic of
Conformance testing experience at the SEPT Test Centre
Coffee break:  15:00 - 15:30
Conformance Testing Issues:  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).
Diagnostic tests for single transitions faults in non-deterministic
	finite state machines, A. Ghedamsi, R. Dssouli, G.v. Bochmann
	(Univ. of Montreal, Canada)
Birds of a feather sessions :   20:00 - 22:00

	TUESDAY, September 29
Test Specification Issues:  09:00 - 10:30
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).
Open Discussion on  TTCN issues: Definition and use
Coffee break:  10:30 - 11:00
Tool Presentations:  11:00 - 12:30
	Short overviews of tools being demonstrated at the Workshop
Lunch:  12:30 - 14:00  Buffet and tool demonstrations
Two Parallel Panel Sessions:  14:00 - 15:30
   Panel A: Interoperability Testing
Introductory paper:The Silence of the LANs, D.J. Dwyer (NCC, UK).
Chairperson and Panellists:  to be determined
   Panel B: Test Coverage and Testability
Chairperson and panelists: to be determined
Coffee Break: 15:00 - 15:30
Two Parallel Sessions:  16:30 - 17:30
   Session A: Test Selection - LOTOS
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 B: Test Selection and Optimisation
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 :   18:30 - 22:00

	WEDNESDAY, September 30
Multi-Party Testing Experience:  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
Panel Discussion on GSM Testing Issues:  11:00 - 12:00
Chairperson and panelists: to be determined
Lunch at the hotel:  12:00 - 13:30
Invited Presentation:  13:30 - 14:30
 M.C. Gaudel (Univ. Paris Sud, France),Test selection based on ADT
	Specifications *** title to be confirmed
Coffee Break: 14:30 - 15:00
Test Selection - Nondeterminism:  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 tools related to protocol testing will be
provided during the workshop. Planned demonstrations include
test systems for OSI conformance testing, TTCN support tools and
tools for automated test selection. 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.
This period of the year is the time when the coloured leaves can be
admired in  the parcs of Montreal and throughout the forests in the
area.


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.

HOTEL RESERVATION
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
Le 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 Elizabeth 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