Please send this on to any appropriate mailing list, newsgroup etc. that you don't believe to have already received a copy. CALL FOR PAPERS Eighth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS'2002) April 6 - 14, 2002 Grenoble, France URL: http://www.dcs.ed.ac.uk/tacas2002/ A member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS'2002) URL: http://www-etaps.imag.fr/ CONFERENCE DESCRIPTION TACAS is a forum for researchers, developers and users interested in rigorously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between different communities -- including but not limited to those devoted to formal methods, real-time, software engineering, communications protocols, hardware, theorem proving, and programming languages -- that have traditionally had little interaction but share common interests in, and techniques for, tool development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures and methodologies, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools for building systems. Tool descriptions and case studies with a conceptual message and theoretical papers with a clear link to tool construction are particularly encouraged. The specific topics covered by the conference include, but are not limited to: - Verification and construction techniques. - Compositional and refinement-based methodologies. - Test generation. - Theorem-proving and model checking. - Analytical techniques for real-time, hybrid and safety-critical systems. - Tool environments and tool architectures. - Applications and case studies. All accepted contributions will receive the same space in the conference schedule and in the proceedings, and technical support will be provided for allowing presenters to demonstrate their tools during their talks. Facilities will also be available for informal tool demonstrations during the conference. As TACAS addresses a heterogeneous audience, authors are strongly encouraged to write about their ideas in general and jargon-independent, rather than application- and domain-specific, terms. SUBMISSION See http://www.dcs.ed.ac.uk/tacas2002 for details. In brief, papers must - be in English - present original research which is unpublished and not submitted elsewhere - be no more than 15 pages long in Springer-Verlag format - be submitted electronically in Postscript/PDF form (contact the chairs if this is impossible) IMPORTANT DATES October 19, 2001 Submission deadline December 14, 2001 Notification of acceptance/rejection January 18, 2002 Camera-ready version due April 6 - 14, 2002 Conference dates INVITED SPEAKER The invited speaker at TACAS'2002 will be Dr. Michael Lowry of NASA Ames Research Center. PROGRAM COMMITTEE STEERING COMMITTEE Thomas Ball (Microsoft) Ed Brinksma Ahmed Bouajjani (LIAFA, Paris 7) Rance Cleaveland Paolo Ciancarini (Bologna) Kim Larsen Rance Cleaveland (SUNY at Stony Brook) Bernhard Steffen Matthew Dwyer (Kansas State U) Javier Esparza (Edinburgh, previously TU Munich) Hubert Garavel (INRIA Rhone-Alpes, TOOLS CHAIR) Patrice Godefroid (Bell Labs) Daniel Jackson (MIT) Claude Jard (IRISA Rennes) Joost-Pieter Katoen (Twente, CHAIR) Yassine Lakhnech (VERIMAG Grenoble) Kim Larsen (Aalborg) John Rushby (SRI) Mary Sheeran (Chalmers) Bernhard Steffen (Dortmund) Perdita Stevens (Edinburgh, CHAIR) Wang Yi (Uppsala) CONTACT Perdita Stevens Joost-Pieter Katoen University of Edinburgh, UK University of Twente, NL Web: www.dcs.ed.ac.uk/home/pxs Web: wwwhome.cs.utwente.nl/~katoen/ Email: Perdita.Stevens@dcs.ed.ac.uk Email: katoen@cs.utwente.nl Tel/Fax: +44 131 6505195/6677209 Tel/Fax: +31 53 4895675/4893247