rduke@cs.uq.oz.au (Roger Duke) (03/28/91)
CALL FOR PAPERS Fourth International Conference on FORMAL DESCRIPTION TECHNIQUES Sydney, AUSTRALIA, 19-22 November, 1991 FORTE'91 is expected to be sponsored by IFIP WG 6.1, other professional organisations such as IEEE (Australian Branch), and by OTC Ltd Australia and Telecom Australia. FORTE focuses principally on the CCITT/ISO standardized FDTs (Estelle, LOTOS and SDL). These FDTs have been designed for Distributed Systems and Protocols, but have wider applicability. FORTE'91 will highlight their application. The Conference will be a forum for presentation of the state of the art in application, theory, tools and industrialization of FDTs and will provide an excellent orientation for newcomers. There will be three invited Keynote Speakers of international repute. Research papers (full papers -- applications or theory), industrial usage reports (short papers), tutorial proposals and tool demonstrations on FDTs are solicited, particularly in the following areas: Practical usage experience and case studies Methodology and architecture Industrial transfer and usage Tools and tool support Extensions, such as object-orientation Design and implementation Verification, validation, and testing Comparative analyses of FDTs North-Holland will publish the Conference Proceedings as a hardbound volume, titled `Formal Description Techniques IV'. The Conference will start with one-day of tutorials on November 19. 1st June 91: Submission of full research papers (5 copies, 12 pt single spaced, max 16 pages). Send to Gordon Rose. 14th June 91: Submission of industrial usage reports (5 copies, 12 pt single spaced, max 8 pages), tutorial proposals and tool demonstrations. Send to Ken Parker. 1st Sept 91: Notification of acceptance. 30th Sept 91: Camera-ready version for participants' proceedings. (Camera- ready version for hardbound volume to be handed in at the Conference.) Program Co-chairpersons: Prof Gordon Rose Dr Ken Parker Computer Science Dept Telecom Research Laboratories University of Queensland PO Box 249, Clayton Queensland 4072, AUSTRALIA Victoria 3168, AUSTRALIA tel: +61 7 365 2766 tel: +61 3 541 6797 fax: +61 7 365 1999 fax: +61 3 544 2362 email: rose@cs.uq.oz.au email: k.parker@trl.oz.au Program Committee: T. Bolognesi (CNUCE - Italy), E. Brinksma (U of Twente - The Netherlands), L. Cerchio (CSELT - Italy), A. Danthine (U of Liege - Belgium), M. Diaz (LAAS - France), R. Duke (U of Queensland - Australia), O. Faergemand (TFL - Denmark), F. Garijo (TIDSA - Spain), D. Hogrefe (U of Bern - Switzerland), J. Linn (NIST - USA), L. Logrippo (U of Ottawa - Canada), J. de Meer (GMD - Germany), T. Mizuno (Mitsubishi - Japan), E. Najm (INRIA - France), B. Pehrson (SICS - Sweden), J. Quemada (DIT-UPM - Spain), H. Rudin (IBM - Switzerland), R. Tenney (U of Massachusetts - USA), K. Turner (U of Stirling - Scotland), S. Vuong (U of Br. Columbia - Canada), E. Wiedmer (ASCOM - Switzerland). Local Arrangements: D. Charrett (OTC - Australia) charrett@otc.oz.au [Version F91C3 18/3/91] -- Roger Duke Dept. of Computer Science, Univ. of Queensland Queensland, Australia, 4072 rduke@batserver.cs.uq.oz.au (ACSNET)