[C5] ================================================ AMAST Links 02 08

      IFIP TC6/WG6.1 Joint International Conference FORTE/PSTV'96
                   Formal Description Techniques
       for Distributed Systems and Communication Protocols, and
           Protocol Specification, Testing, and Verification
               Kaiserslautern, Germany, 8-11 October 1996

   The full version of this _Call for Papers_ is available at the URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i08/full/AC0208C5.txt

  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_
at the URL: http://www.informatik.uni-kl.de/aggotz/forte.pstv96