parker@shiva.trl.oz.au (Ken Parker) (06/09/89)
Call for Papers and Announcement
FORTE 89
The Second International Conference on Formal Description Techniques (FDTs)
for Distributed Systems and Communications Protocols
December 5-8, 1989 Vancouver, B.C., Canada
Sponsored by ACM SIGCOMM and IFIP WG 6.1 (*)
OBJECTIVE
The Conference will bring participants up to date with the Formal
Description Techniques (FDTs) being standardized by ISO and CCITT:
Estelle, LOTOS, SDL as well as ASN.1 and TTCN. The Conference is intended
to bring together researchers and practitioners interested in using FDTs for
formally designing, specifying, implementing, or testing communications
protocols and software. The Conference will introduce newcomers to the FDTs,
and will demonstrate the benefits of their use.
CONFERENCE PROGRAM
The Conference is focussed on the standard FDTs, and their applications in
protocol development and testing. The Conference also covers non-standardized
FDTs and other applications of FDTs. Both original research papers and
tutorial papers on FDTs, FDT-based techniques and tools for communication
software, protocols, and distributed systems will be considered for
presentation at the conference. Papers are solicited, ranging over, but not
limited to, the following topics:
o FDT tutorials and comparative studies
o Relationship between architectural concepts and FDT concepts
o Roles of FDTs in the protocol and software development process
o Rapid prototyping from formal descriptions
o Analysis and verification of formal descriptions
o Relationship between conformance testing and formal descriptions
o Uses of FDTs in protocol testing
o Machine support and tools for FDTs
o Case studies and user experience
PROGRAM COMMITTEE
Prof. Son Vuong (Conference Chair)
Dept. of Computer Science
University of British Columbia
Vancouver, B.C., Canada V6T 1W5
Sudhir Aggarwal (Bell Communications Res., USA)
Gregor v. Bochmann (University of Montreal, Canada)
Ed Brinksma (University of Twente, Enschede, Netherlands)
Stanislaw Budkowski (BULL S.A., France)
Sam Chanson (University of British Columbia, Canada)
Andre Danthine (University of Liege, Belgium)
Mohamed Gouda (University of Texas, Austin, USA)
Dieter Hogrefe (University of Hamburg, West Germany)
R. Jerry Linn (National Bureau of Standards, USA)
Ming T. Liu (Ohio State University, USA)
Luigi Logrippo (University of Ottawa, Canada)
Bill McCrum (Department of Communications, Canada)
Jan de Meer (GMD-FOKUS, Berlin, West Germany)
Tadanori Mizuno (Mitsubishi Electric Corp., Japan)
Ken Parker (CSIRO/Telecom Res. Lab., Australia)
Behcet Sarikaya (Concordia University, Canada)
Richard Tenney (University of Massachusetts, Boston, USA)
Ken Turner (University of Stirling, Scotland)
LOCAL ARRANGEMNTS
Mabo Ito (UBC), Alan Wagner (UBC), Jane Hutton (UBC) and Vicki Ayerbe (UBC)
CONFERENCE DEADLINES:
As soon as possible Expression of interest
June 15, 1989 Submission of 4 copies of full paper,
or mini-paper on tools
September 1, 1989 Notification of acceptance
October 15, 1989 Submission of camera-ready papers
Please, submit four copies of full papers (up to 20 double-spaced pages), or
mini-papers on tools (up to 6 double-spaced pages) to Prof. Son Vuong,
the Conference Chair, by June 15 (please, note this revised deadline).
The Conference will include papers from invited experts. All submitted papers
will be refereed and selected on the basis of merit by the Program Committee.
Authors of accepted mini-papers are encouraged to give a demonstration of their
tools at the Conference, if possible. The Conference proceedings will be
published by North-Holland.
For further information about the Conference, please contact the Conference
Chair by mail, phone (604-228-6366), e-mail (vuong@cs.ubc.ca, vuong@ubc.csnet,
or vuong@cs.ubc.uucp), fax (604-228-5485) or Telex (0451233 UBC PURCH VCR).
REGISTRATION AND HOTEL RESERVATION
For further information on conference registration, please contact Ms. Vicki
Ayerbe, Center for Continuing Education, University of British Columbia,
Vancouver, B.C., Canada V6T 2A4r; Tel.: 604-222-5251, Fax: 604-222-5283
The Conference will be held at the Westin Bayshore Hotel, 1601 West Georgia St.
,
Vancouver, B.C. V6G 2V4. For accomodation reservation, please call 800-228-300
0(toll free from North America) or 604-682-3377 or fax 604-687-3102.
OTHER SPONSORING/SUPPORTING ORGANIZATIONS:
Department of Communications of Canada, Advanced Systems Institute of British
Columbia, Idacom Electronics Limited, and University of British Columbia.
===========================================================================
EXPRESSION OF INTEREST
(It would be helpful if you could give an early indication of your interest
in participating or contributing by completing and returning the following
form to Prof. Son Vuong, FORTE'89 Conference Chair, Dept. of Computer Science,
University of British columbia, B.C., Canada V6T 1W5).
- ---------------------------------------------------------------------------
Name:................................ Tel..............................
Address:............................. Fax..............................
............................. Telex............................
............................. E-mail...........................
.............................
.............................
Postal Code..........................
Country..............................
[ ] I am potentially interested in attending the FORTE 89 Conference.
Please, put me in the Conference mailing list.
[ ] I am potentially interested in submitting a full [ ] or mini [ ] paper
to the Conference. The provisional title/subject area is:
...................................................................
...................................................................
[ ] I am potentially interested in demonstrating an FDT support tool.
Name of tool.......................................................
FDT supported......................................................
Purpose of tool....................................................
Software environment...............................................
Hardware environment: SUN [ ] Model...... or Apollo [ ] Model.....
Other:.......................................
Special requirement................................................
(We plan to provide Apollo and SUN workstations available at the
conference site for demonstration of FDT support tools.
Other workstations may be made available upon request).
==========================================================================
(*): Pending ACM and IFIP approvals