Call for Papers

FORTE'95

The 8th International IFIP Conference on
FORMAL DESCRIPTION TECHNIQUES
for Distributed Systems and Communications Protocols
Montréal (Québec), Canada, 17-20 October 1995

OBJECTIVE AND SCOPE

FORTE'95 will address Formal Description Techniques (FDTs) applicable to Distributed Systems such as Estelle, Lotos, SDL, ASN.1, Z, Automata, Logics, Process, Algebras, etc., and will include industrial applicability to Protocols and Distributed Systems. The conference will be a forum for presentation of the state of the art in theory, application, tools and industrialization of (FDTs) and will provide an excellent orientation for newcomers. Research papers and industrial usage reports as well as proposals for tutorials (advanced technology seminars), poster displays and tool demonstrations are solicited. Topics of interests include (but are not restricted to) the following areas:

FDT-based software engineering
Design and implementation
Methodologies and architectures
Verification and validation
Comparative analyses of FDTs
Testing
Extensions of FDTs
Tools and tool support
Real-time and probability aspects
Practical experience and case studies
Examples and analyses of formal descriptions
Corporate strategic and financial consequences of FDT use.

FORTE'95 will be sponsored by IFIP WG6.1. It will start with one day of tutorials and advanced technology seminars on 17 October 1995 and will continue with three days of technical presentations. Tool presentations and poster displays will be offered throughout all four days of FORTE'95.

IMPORTANT DATES

30 April 1995           Submission deadline
15 July 1995            Notification of acceptance
30 August 1995          Camera ready copy for participants proceedings due

CONFERENCE CO-CHAIRS

G. v. Bochmann, R. Dssouli and O. Rafiq

PROGRAM COMMITTEE

P. Amer (Univ. of Delaware, USA), T. Bolognesi (CNUCE, Italy), J. Bowen (Univ. of Oxford, UK), E. Brinksma (Univ. of Twente, Netherlands), A. Cavalli (INT, France), S.T. Chanson (Univ. of Science and Technology, Hong Kong), J-P. Courtiat (LAAS, France), P. Dembenski (Academy of Science, Poland), J. deJMeer (GMD FOKUS, Germany), M. Ferguson (INRS, Canada), R. Gotzhein (Univ. of Kaiserslautern, Germany), M. Gouda (Univ. of Texas, Austin, USA), R. Groz (CNET, France), D. Hogrefe (Univ. of 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 (Univ. of Lige, Belgium), L. Logrippo (Univ. of 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 (Univ. of Montreal, Canada), J. Quemada (Technical Univ. of Madrid, Spain), S. V. Raghavan (IIT, Madras, India), H. Rudin (IBM, Switzerland), K. Saleh (Kuwait University, Kuwait), B. Sarikaya (Univ. of Aizu, Japan), R. Tenney (Univ. of Massachusetts, Boston, USA), K. Turner (Univ. of Stirling, UK), S. T. Vuong (Univ. of British Columbia, Canada).

SUBMISSION POLICY

Solicited are:

Full original research papers and industrial usage reports, 5 copies, up to 16 pages (including bibliography), 12 point, single spaced, including an informative abstract as well as names and affiliations of all authors, and a list of keywords facilitating the assignment of papers to referees. A cover letter naming a contact author (including postal and email address) and indicating the preferred category (research paper or industrial usage report) in which the paper should be considered, is required. The cover letter should also state that the paper has not been presented in any language at another conference nor is it currently being considered by another conference or by a journal. Authors may propose a list of Program Committee members whom they consider to be particularly qualified to review their submission. Only those papers presented by an author during FORTE'95 will be included in the final proceedings which will be published by the official publisher of IFIP WG6.1.

Proposals for tool demonstrations (including hardware and software requirements), poster displays, tutorials and advanced technology seminars.

All submissions should be sent to:

Prof. Rachida Dssouli
Departement d'IRO
Universite de Montreal
Pavillon des sciences mathematiques et informatiques
C.P. 6128 Succursale Centre-Ville
(2920 Chemin de la Tour)
Montreal, (Quebec)
Canada H3C 3J7
Tel. : (514) 343 7599, Fax : (514) 343 5834
Email: dssouli@iro.umontreal.ca

FOR FURTHER INFORMATION:

Lucie Levesque
Departement d'IRO
Universite de Montreal
Pavillon des sciences mathematiques et informatiques
C.P. 6128 Succursale Centre-Ville
(2920 Chemin de la Tour)
Montreal, (Quebec)
Canada H3C 3J7
Tel. : (514) 343 6111 (ext. 3520), Fax : (514) 343 5834
Email: forte95@iro.umontreal.ca

Daniel Ouimet	Pavillon Math-Info, bureau 2227	ouimet@iro.umontreal.ca
Universite de Montreal, Dept. IRO. C.P. 6128, succursale Centre-Ville
Montreal (Quebec) H3C 3J7, CANADA   (514) 343-6111 ext. 3506