Subject: FORTE'95

From: [email-masked]
Date: Tue, 25 Jul 95 08:18:28 SET

--------------------------------------------------------------------
IFIP WG6.1 Newsletter - Electronic Version - Vol. 7, No. 10

Here is the preliminary program for FORTE'95

                                            Harry Rudin
                                            Chairman, WG6.1
                                            25 July, 1995

--------------------------------------------------------------------

  PRELIMINARY PROGRAM

8th International Conference on FORMAL DESCRIPTION TECHNIQUES
for Distributed Systems and Communications Protocols (FORTE'95)
October 17 - 20, 1995 Montreal, Quebec, Canada

Sponsored by IFIP WG 6.1

Organized by:
Conference co-chairs
           Gregor v. Bochmann, Universite de Montreal and CRIM, Canada
           Rachida Dssouli, Universite de Montreal
           Omar Rafiq, Universite de Pau, France
Local Arrangements, Registrations and Treasury
           Lucie Levesque, Universite de Montreal
Coordination of tool demonstrations
           Daniel Ouimet, Universite de Montreal

Program Committee:
P. Amer (U. Delaware, USA), T. Bolognesi (CNUCE, Italy)
J. Bowen (U. Oxford, UK), E. Brinksma (U. Twente, Netherlands)
A. Cavalli (INT, France), S.T. Chanson (U. British Columbia, Canada)
J.P. Courtiat (LAAS, France), P. Dembinski (Academy of Science, Poland)
J. de Meer (GMD FOKUS, Germany), M. Ferguson (INRS, Canada)
R. Gotzhein (U. Kaiserslautern, Germany), M. Gouda (U. Texas, Austin, USA)
R. Groz (CNET, France), D. Hogrefe (U. Bern, Switzerland)
Y. Hirakawa (NTT, Japan), G. Holzmann (AT&T, USA), T. Kato (KDD, Japan)
L. Kovacs (CAI, Hungaria), J. Kroon (PTT Research, Netherlands)
G. Leduc (U. Liege, Belgium), L. Logrippo (U. Ottawa, Canada)
G. Luo (BNR, Canada), L. Marshall (BNR, Canada), E. Najm (ENST, France)
A. Obaid (UQAH, Canada), K. Parker (Telecom Research Lab., Australia)
A. Petrenko (U. Montreal, Canada), J. Quemada (Technical U. Madrid, Spain)
S.V. Raghavan (IIT, Madras, India), H. Rudin (IBM, Switzerland)
K. Saleh (Kuwait U., Kuwait), B. Sarikaya (U. Aizu, Japan)
R. Tenney (U. Massachusetts, USA), K. Turner (U. Stirling, UK)
S.T. Vuong (U. British Columbia, Canada)

Financial Support from:
INRS-Telecommunications
Universite de Montreal
Computer Research Institute of Montreal, (CRIM)
Hewlett Packard-NSERC-CITI Industrial Research Chair on Communication
Protocols
Bell Canada

TUTORIALS

TUESDAY, October 17

Registration:  07h30 - 09h00

Room 1

Tutorial: (with midmorning coffee) 09h00 - 12h00
Symbolic Model Checking
  Edmund M. Clarke (School of Computer Science Carnegie Mellon
  University, USA)

Lunch at the Hotel:   12:00 - 13:30

Tutorial:  13h30 - 16h30
Automatic Verification of Timed and Hybrid Systems
  Rajeev Alur (AT&T Bell Laboratories, USA)

Tutorial:  17h00 - 20h00
Formal Methods for the Synthesis of Discrete Event Systems
  A. Khoumsi and K. Saleh (University of Montreal, University of Kuwait,
  Kuwait)

Room 2

Tutorial:  (with midmorning coffee)  09h00 - 12h00
Formal design and implementation of high speed multimedia protocols
  Michel Diaz (LAAS du CNRS, France)

Lunch at the hotel:  12:00 - 13:30

Tutorial:  13h30 - 16h30
High Performance Protocol Architecture
  Walid Dabbous (INRIA de Sophia Antipolis, France)

Registration:   16h30-19h00
Cocktail:         17h00-19h00

CONFERENCE

WEDNESDAY, October 18

Welcoming Remarks:  09h00 - 09h15
Invited Presentation:  09h15- 10h15
Specification and Verification of Timed Systems
  Joseph Sifakis (VERIMAG, France)

Coffee break:  10h15 - 10h45

Session 1
Design Methodologies:  10h45-12h15
Distributed System Specification in VDM++, K. Lano (Imperial College, UK)
OMT*, Bridging the Gap between Analysis and Design, K. Verschaeve,
B. Wydaeghe,
L. Cuypers, V. Jonckers, J. Heirbaut (VUB-INFO, Belgium)
Formal Support for Design Techniques:  A Timethreads-LOTOS Approach,
D. Amyot,
  F. Bordeleau, R. J.A. Buhr, L. Logrippo (Univ. of Ottawa, Canada)

Lunch-Demo at CRIM:  12h15 - 14h30  Buffet and tool demonstrations

Session 2
Verification I:  14h30 - 15h55
Using Partial-Order Methods for the Verification of Behavioural Equivalences=
,
M. Lara de Souza, R. de Simone (INRIA, France)
  Formal Verification of a Protocol for Communications over Faulty Channels,
B. Chetali, P. Lescanne (CRIN-CNRS, France)
Specifying Properties of Basic LOTOS Processes Using Temporal Logic,
C. Kirkwood (Univ. of Glasgow, UK)
A Reachability Analysis of RT-LOTOS Specifications, J.-P. Courtiat,
R. C. de Oliveira (LAAS-CNRS, France)

Coffee break:  15h55 - 16h15

Session 3
Algebraic Languages:  16h15 - 17h30
Towards a mobile LOTOS, E. Najm, J.-B. Stefani, A. F=E9vrier (ENST, CNET, Fr=
ance)
Type Specifications with Processes, F. Puntigam (Technische Univ. Wien, Aust=
ria)
A Unified Model for CSP-like Languages with Specifications, L. Lai (Univ. of
Bradford, UK)

THURSDAY, October 19

Session 4
System Specification and Z:  19h00 - 10h30
Secrets of Call Forwarding:  A Specification Case Study, P. Zave (AT&T, USA)
=46ormal Method for Event-triggered Sequential Systems, C. Petersohn (Christ=
ian-
Albrechts Univ., Germany)
An Extension of GDMO for Formalizing Managed Objects Behaviour, J. Keller
(France Telecom, France)

Coffee break:  10h30 - 11h00

Invited Presentation:  11h00- 12h00
Professor Mohamed Gouda (Univ. of Texas, USA)

Lunch-Demo at CRIM:  12h15 - 14h30  Buffet and tool demonstrations

Session 5
Industrial Experiences:  14h30 - 16h00
Experiences of using SDL collected in IskraTEL SDL Methodology, A. Robnik
(IskraTEL, Slovenia)
Development of Broadband ISDN Telecommunication Services using SDL'92, ASN.1
and Automatic Code Generation, U. Behnke, M. Geipl, G. Kurzbach, R. Mundstoc=
k,
R. Schroder (Deutsche Telekom, Humboldt Univ. Germany)
Supporting Evolution of SDL-based Systems:  Industrial Experience, B. Gulla,
J. Gorman (Norwegian Inst. of Tech. and SINTEF DELAB, Norway)

Coffee break:  16:00 - 16h30

Session 6
Applying Formal Methods:  16h30 - 17h45
A LOTOS Compiler Generating Multi-threaded Object Codes, K. Yasumoto,
T. Higashino, K. Abe, T. Matsuura and K. Taniguchi (Osaka Univ., Japan)
A Comparison between the Service Addition Language SAL and the ITU-T
Recommendation Z.120, S. Some, R. Dssouli, J. Vaucher (Univ. of Montreal,
Canada)
Combining Formal Methods:  An Exercise in Integration, J.-Ch. Gregoire,
M. Ferguson, L. Pino (INRS-Telecommunications, Canada)
=46ormal Specification of a Framework for Synchronous Groupware Development,
A. Kerbrat, S. Ben Atallah (Bull-IMAG, France)

BANQUET  :  19h30

=46RIDAY, October 20

Session 7
Tools and Testing :  09h00 - 10h00
SELEXPERT - A Knowledge-based Tool for Test Case Selection, A. Guerrouat,
H. Koenig, A. Ulrich (Otto von Guericke Univ., Germany, Brandenburg Univ.,
Germany, Hong Kong Univ., Hong Kong)
Mutation Analysis Applied to Validate Specifications based on Petri Nets,
S. Fabbri, J.C. Maldonado, P.C. Masiero, M.E. Delamaro, E. Wong (USP, Brasil=
,
Bellcore, USA)
A New Approach for Distributing Estelle Specifications, E. Lallet, S. Fische=
r,
J.-F. Verdier (INT, france)

Coffee break:  10h00 - 10h30

Panel  -  Formal Methods after 15 years:  Status and Trends:  10h30 - 12h30

Lunch on your own:  12h30 - 14h00

Session 8
Real-time and Stochastic Systems: 14h00- 15h30
Critical Time Distributed Systems:  Qualitative and Quantitative Analysis
Based on Stochastic Timed Petri Nets, G. Juanole, L. Gallon (LAAS-CNRS, Fran=
ce)
Testing Semantics for Probabilistic LOTOS, M. Nunez, D. de Frutos (Univ.
Complutense de Madrid, Spain)
Real-time LOTOS and Timed Observations, J. Davies, J. Bryans (Univ. of
Reading, UK)

Coffee break:  15h30 - 16h00

Session 9
Verification II:  16h00 - 17h30
Assertional Verification of a Connection Management Protocol, A. L. Olah,
S. M. Heemstra de Groot (Univ. of Twente, Netherlands)
Sharing Trees for "on-the-fly" Verification, F. Gagnon, J.-Ch. Gregoire,
D. Zampunieris (INRS-Telecommunications, Canada, Facultes universitaires
Notre-Dame-de-la-Paix, Belgique)
Verification of Liveness Property for Communicating FSM's with Conditional
Transitions depending on State Visiting Numbers, T. Higashino, A. Nakata,
T. Itoh, K. Taniguchi (Osaka Univ., Japan)
A New Approach for Protocols Performance Evaluation using Annotated Estelle
Specifications, M. Hendaz, S. Budkowski (INT, France)

TOOL DEMONSTRATIONS:
     Demonstrations of tools will be provided during the conference.  They
will be held on Wednesday and Thursday at CRIM (Centre de Recherche
Informatique de Montreal) during a 2-hour lunch-demo (a little map will be
provided).

     People interested in demonstrating tools are invited to contact Daniel
Ouimet at Universite de Montreal ([email-masked]).

LOCATION
Most of the events will be held at the Montreal Hilton Bonaventure Hotel,
1 Place Bonaventure, Montreal (Quebec), Canada, H5A 1E4 and the demonstratio=
ns
will be held at CRIM, 1801, McGill College, office 800.

CLIMATE
The temperatures in late October range from the average high of 8=B0C to the
12=B0C.  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 Wor=
ld
charm.  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 coulored leaves can be admired in  the parcs of
Montreal and throughout the forests in the area.

TRANSPORTATION
Air Canada has been appointed the Official Airline for FORTE'95.  Call Air
Canada at 1-800-361-7585 or your travel agent today and take advantage of:
-Special convention rates for travel within North America,
-Substantial savings with Air Canada and Continental Airlines' joint
  Convention fares,
-Aeroplan or OnePass miles that can be redeemed on any Air Canada or
  Continental route, worldwide,
-Savings up to 50% on the Regular Economy Class Fares, -Overseas passengers
  will be offered the best available fare.
* Certain rules and conditions will apply.
When purchasing your ticket, please ask that your Event Number:  CV951464
be entered in the Tour Code box of your ticket, regardless of the fare
purchased.

Distance from Dorval Airport to the Montreal Hilton Bonaventure Hotel is les=
s
than 20 km.  Distance from Mirabel International Airport to the Montreal Hil=
ton
Bonaventure Hotel is 60 km.  The Dorval Airport shuttle to Montreal Hilton
Bonaventure Hotel (costs 9,00$ CAN, and a taxi approximately 20$ CAN.  The
Mirabel Airport shuttle to central bus station costs 13,00$ CAN, and a taxi
approximately 45$.  The name of the shuttle company is Aeroplus (633-1100).
Montreal Hilton Bonaventure Hotel is about 45 minutes driving from the Mirab=
el
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
September 16, 1995. 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) or your Master card number (with your
signature) payable to:
=46ORTE'95
c/o Lucie Levesque
Departement d'informatique et de recherche operationnelle
Pavillon Andre Aisendstat
Universite de Montreal
2900, blvd. Edouard-Montpetit (2219), Montreal, (Quebec), Canada, H3T 1J4
Tutorial registration fee covers: Attendance of tutorials, tutorial notes,
lunch and coffee breaks on Tuesday, October 17.  Conference registration fee
covers:  Conference admission, proceedings, reception on Tuesday night, lunc=
hes
(except Friday), coffee breaks and the conference banquet dinner.
=46ull and Student registrations fees cover:  same as tutorial plus conferen=
ce
admission.
Requests for refunds will be honoured until September 1, 1995.
=46or further info. please contact Lucie at:  (email):  [email-masked]=
al.ca
(phone) (514) 343-6111, extension 3520 or (fax) (514) 343-5834.

=46ORTE'95 Registration Form
=46amily name
Given name
Affiliation

Address

Postal code                             Country
Phone number
e-mail
                  before Sept. 16        after
Conference                550             600
Tutorial                  300             350
=46ull                      750             800
Student (1)               300             350
Additional banquet tickets 75              75
Extra proceedings          50              50
Total fee in canadian currencies   ___________________
(1)  Please attach proof of student status

by ______ credit card (Master Card only)

Name on credit card: _________________________
Credit card number: _________________________
Expiration date: _____________________________
Authorized signature: ________________________
Signing date: _______________________________

by ______ cheque drawn to a North American bank.

by ______ money order in canadian currencies to FORTE'95

If you cancel, we must receive your cancellation by mail,
fax or e-mail by September 1, 1995.

HOTEL RESERVATION
A block of rooms has been reserved for the FORTE'95 participants.  Please
mention that you are part of FORTE'95.  Reservations* must be received by
September 16, 1995.  Reservations should be confirmed with either a check
covering the first night's stay, or by any major credit card.  The conferenc=
e
rate at the Hilton Bonaventure is $129.00 CAN (single or double occupancy).
There is a charge of $25.00 per extra person up to a maximum of four (4)**.
All rates are net, although the 7% goods and services tax (GST) is refundabl=
e
to non-Canadian residents.  Check-in time is 15h00 and check-out time is
12h00 noon.

=46ORTE'95 Hotel Reservation Form
=46amily name
Given name
Affiliation
Address

Postal code                              Country
Phone number
Arrival date/time __________________________
Single or double
or Credit card
Card No.
Expiry date
Signature

**  If 3 persons share a room, it will cost 129$ + 25$ =3D 154$ divided
    by 3 persons =3D 52,00 $ per person per night
**  If 4 persons share a room, it will cost 129$ + 50$ =3D 179$ divided
    by 4 persons =3D 44,75 $ per person per night

*   Please call, write or fax your reservation directly at the Montreal
    Hilton Bonaventure Hotel, 1, place Bonaventure, Montreal, Quebec
    Canada, H5A 1E4.
    International toll-free tel.:  1-800-445-8667
    Tel.:  1-514-878-2332
    Fax.:  1-514-3881

------------------------------------------------------
Rachida Dssouli                     [email-masked]
Universite de Montreal, Dept. IRO. 2225 ,C.P. 6128, succursale Centre-Ville
Montreal (Quebec) H3C 3J7, CANADA  Tel.(514) 343-7599; FAX..-5834
--

                 ---------  end  ---------