IFIP TC6/WG6.1 Joint International Conference FORTE/PSTV'96
Formal Description Technique for
Distributed Systems and Communication Protocols, and
Protocol Specification, Testing, and Verification
Kaiserslautern, Germany, 8-11 October 1996
The
FORTE/PSTV'96 2nd 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. Solicited are:
-
Full original research papers and industrial usage reports,
5 copies, up to 16 pages, 12 point, single spaced,including an
informative abstract as well as names and affiliations of all
authors, and a list of keywords.
-
A cover letter naming a contact author (including postal and E-mail
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;
furthermore it should state that, in case of acceptance, one of the
authors will attend FORTE/PSTV'96 and present the paper.
-
Proposals for tool demonstrations and poster displays.
-
Proposals for tutorials and advanced technology seminars.
All submissions should be sent to:
Jan Bredereke, 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
Submissions due April 19, 1996
To obtain additional information (Postscript copy of the Call for
Papers, keyword list, etc.), you may also browse our
WWW pages
.