[CB] ================================================ AMAST Links 02 07 Tools & Algorithms for the Construction & Analysis of Systems, TACAS'96 Passau, Germany, March 27-29, 1996 The full version of the _Final Call for Papers_ is available at URL: http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207CA.txt The aim of the workshop is to bring together researchers and practitioners interested in the development and application of tools and algorithms for specification, verification, analysis and construction of distributed and embedded systems. The overall goal of the workshop is to compare the various methods and the degree to which they are supported by interacting or fully automatic tools. Theoretical papers without a clear link towards automation or tool construction as well as tool documentations and applications without conceptual message are inappropriate for TACAS and should be submitted somewhere else. Besides scientific talks there will be refereed tool sessions, with two page abstracts in the conference proceedings, and standard tool demonstrations during the breaks. A detailed list of topics is available in the full version of this annuncement. *Submissions* Authors are invited to submit an extended abstract not exceeding 5000 words for regular papers and 1500 words for tools presentations to to the local organizer. Electronic submission is encouraged via email. Prospective authors should read the detailed submission information in the full version of this announcement. *Important Dates* Deadline for Submission : 15 October 1995 Notification to Authors : 15 December 1995 Final Version of Accepted Papers due on : 31 January 1996 *Organization and Submissions* Tiziana Margaria FMI, University of Passau, Innstr. 33, 94030 Passau, Germany Tel: +49 851 509.3096. Fax: +49 851 509.3092. *Additional Information:* Further information and updates are available via WWW at the URL: http://www.uni-passau.de/fmi/lehrstuehle/steffen/cfp/tacas.html