FORTE 94 will address formal techniques applicable to Distributed Systems such
as Estelle, 
, 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 Formal Techniques
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 on Formal
Techniques are solicited, particularly in the following areas:
FORTE 94 will be sponsored by IFIP WG6.1 in cooperation with ACM SIGCOMM (approval pending) and IEEE Computer Society (approval pending). Additional support will be provided by the corporate sponsors Alcatel STR, Siemens-Albis, ASCOM and the Swiss PTT, as well as by the non-corporate sponsors Beer-Brawand Fund and the Swiss National Science Foundation. The conference Proceedings will be published by the official publisher of IFIP WG6.1 Proceedings, presumably by Elsevier Science Publishers B.V. (North Holland) in the IFIP Transactions C series, titled Formal Description Techniques, VII. FORTE 94 will start with one day of tutorials and advanced technology seminars on 4th October 1994 and will continue with three days of technical presentations (no parallel sessions). Tool presentations and poster displays will be offered throughout all four days of FORTE 94. The conference will be held in the main building of the University of Berne.
Important dates: