The full version of the Final Call for Papers is available.
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
Organization and Submissions
Tiziana Margaria <tiziana@fmi.uni-passau.de>
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 .