[C9] ================================================ AMAST Links 03 01

      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 at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301C9.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. Solicited are:  
 o  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.
 o  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. 
 o  Proposals for tool demonstrations and poster displays.
 o  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_, at
URL: http://www.informatik.uni-kl.de/aggotz/forte.pstv96