The full version of this Call for Papers is available.
FORTE/PSTV'96 will address Formal Description Techniques (FDTs) applicable to Communication Protocols and Distributed Systems (such as Estelle, Lotos, SDL, ASN.1, TTCN, Z, Automata, Process Algebras, Logics). 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. For the first time, the hitherto separate conferences FORTE and PSTV will be combined into a joint edition. Research papers and industrial usage reports as well as proposals for tutorials (advanced technology seminars), poster displays and tool demonstrations are solicited.
Submissions
Details for submitting original research papers, tools demonstrations and proposals for tutorials are given in the full version of this announcement at the URL above.
Important dates
April 19, 1996: Submission deadline (for more details, see below)
June 24, 1996: Notification of acceptance
July 19, 1996: Camera-ready copy for final proceedings due
For further information
FORTE/PSTV'96 Organization Committee, University of Kaiserslautern,
P.O. Box 3049, D-67653 Kaiserslautern, Germany,
Tel: +49 631 205-3426 (Reinhard Gotzhein), -3287 (Jan Bredereke),
-2640 (Fax), E-mail: forte.pstv96@informatik.uni-kl.de
To obtain additional information (Postscript copy of the Call for Papers, keyword list, etc.), you may browse our World-Wide Web pages .