*---------------------------- TACAS'98 ------------------------- *--- CALL FOR PAPERS CALL FOR PAPERS ---* ***************************** * * * TACAS'98 * * * ***************************** First International Conference on Tools and Algorithms for the Construction and Analysis of Systems March 31 - April 2, 1998 Lisbon (Portugal) SCOPE: ~~~~~ Many similar tools and algorithms have been independently developed in various areas of computer science like automata and language theory, verification and synthesis of hardware and software systems, construction and analysis of real time systems, software engineering, type and proof theory, logic and algebra. TACAS is a 'community-independent' forum for discussion between the researchers and developers interested in tools. In the focus are basic principles and application-independent features of algorithms and their implementation, with the aim to increase the reliability, flexibility and efficiency of current tools by highlighting common problems, heuristics, data structures, and solutions. In particular, theoretical papers with a clear link to tool construction and tool descriptions and applications with conceptual message are encouraged. As TACAS addresses quite a heterogeneous audience, one of the major selection criteria for papers and tool demonstrations is a widely accessible presentation on a conceptual rather than technical level. This requires authors to think about their techniques in a wider context, which we believe is the key to a wider dissemination of more and more professional tools. Moreover it establishes a significant difference between TACAS contributions and typical publications in the various specialized communities, where a large common basis can be assumed. REGULAR PAPERS AND REFEREED TOOL PRESENTATIONS ARE EQUALLY TREATED: accepted contributions will receive the same space in the conference schedule and in the proceedings. In addition, there will be informal tool demonstrations during the breaks. The topics of the workshop include: - compositional verification and construction techniques; - refinement-based methodologies; - heterogeneous analysis; - theorem-proving and model checking; - analytical techniques for real-time, hybrid, probabilistic, and safety-critical systems; - tool environments and tool architectures; - applications and case studies INVITED SPEAKER: ~~~~~~~~~~~~~~~ Randy Bryant - Carnegie Mellon University (USA) PROGRAM COMMITTEE: ~~~~~~~~~~~~~~~~~~ Ed Brinksma (NL) Rance Cleaveland (USA) Fausto Giunchiglia (I) Susanne Graf (F) Tom Henzinger (USA) Daniel Jackson (USA) Kurt Jensen (DK) Kim Larsen (DK) Tiziana Margaria (D) Jens Palsberg (USA) Doron Peled (USA) Scott Smolka (USA) Bernhard Steffen (D, chair) Frits Vaandrager (NL) SUBMISSION INSTRUCTIONS: ~~~~~~~~~~~~~~~~~~~~~~~ Prospective authors are invited to submit an extended abstract for: A) Regular papers B) Tool presentations Electronic submission via e-mail is strongly encouraged. Please send an encapsulated postscript file which can be printed by any postscript device to tacas98@fmi.uni-passau.de Authors who cannot comply with these instructions should send five copies of their submission to (postal address to be confirmed soon). E-mail addresses and fax numbers of the authors should be included in the submission. Authors will be notified of the decision of the programme committee by e-mail. Papers must be unpublished and not submitted for publication elsewhere. The final paper will be no more than 15 pages in the Springer-Verlag format for Lecture Notes in Computer Science (the series in which the proceedings will be published); see the back cover of a recent volume for details or http://www.springer.de/author/ IMPORTANT DATES: ~~~~~~~~~~~~~~~~ Deadline for Submission : 6 October 1997 Notification to Authors : 8 December 1997 Camera-ready Final Version : 12 January 1998 ADDITIONAL INFORMATION: ~~~~~~~~~~~~~~~~~~~~~~~ Further information and updates are available via www at http://brahms.fmi.uni-passau.de/bs/organization/