[%%%% Apologies for multiple copies received %%%%] CALL FOR PAPERS Ninth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2003) 7-11 April 2003 Warsaw, Poland URL: http://www.mimuw.edu.pl/etaps03 A member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2003) 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, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, and communications protocols --- 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 all encouraged. The specific topics covered by the conference include, but are not limited to, the following. Specification and verification techniques Theorem-proving and model-checking System construction and transformation techniques Static and run-time analysis Compositional and refinement-based methodologies Testing and test-case generation Analytical techniques for real-time, hybrid and safety-critical systems Tool environments and tool architectures Applications and case studies As TACAS addresses a heterogeneous audience, potential authors are strongly encouraged to write about their ideas in general and jargon-independent, rather than application- and domain-specific, terms. Authors reporting on tools or case studies are strongly encouraged to indicate how their experimental results can be reproduced and confirmed independently. TACAS is a member of the European Joint Conference on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics related to Software Science. After ETAPS 98 in Lisbon, ETAPS 99 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, and ETAPS 2002 in Grenoble, ETAPS 2003 is the sixth joint conference in this series. SUBMISSION GUIDELINES As with other ETAPS conferences, TACAS accepts two types of contributions: - Research papers (up to 16 pages) cover one or more of the topics above, including tool development and case studies from a perspective of scientific research. Research papers are evaluated by the TACAS Program Committee under the direction of the Conference Co-chairs. See http:///www.cis.ksu.edu/tacas03 for details. - Tool demonstration papers (up to 4 pages) present tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or fall into the above application areas (e.g., system construction and transformation, testing, analysis of real-time and hybrid systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Program Committee. See http://www.inrialpes.fr/vasy/tacas03/tool.html for details. Both types of contributions will appear in the proceedings and be allocated thirty-minute slots during the conference. In brief, submitted papers must - be in English - present original research which is unpublished and not submitted elsewhere - use the Springer-Verlag LNCS style (see http://www.springer.de/comp/lncs/Authors.html) - be submitted electronically in Postscript/PDF format Submissions deviating from these instructions may be rejected without review. Any question regarding this policy should be directed to the Conference Co-chairs prior to submission. IMPORTANT DATES TACAS is a member conference of ETAPS. ETAPS 2003 conferences and other satellite events will be held April 5-13, 2003. As a part of ETAPS, TACAS adheres to ETAPS submission and notification deadlines. October 18, 2002 Submission deadline December 13, 2002 Notification of authors January 17, 2003 Final versions due April 7-11, 2003 Conference dates INVITED SPEAKER Peter Lee School of Computer Science Carnegie Mellon University, USA PROGRAM COMMITTEE Rajeev Alur University of Pennsylvania (USA) Albert Benveniste IRISA Rennes (France) Ahmed Bouajjani Liafa, Paris 7 (France) Rance Cleaveland (TACAS SC) SUNY at Stony Brook (USA) Werner Damm Univ. Oldenburg (Germany) Luca de Alfaro University of California, Santa Cruz (USA) Alessandro Fantechi Univ. of Florence and IEI- CNR Pisa (Italy) Alain Finkel LSV Cachan (France) Hubert Garavel (co-chair) Inria Rhône-Alpes (France) Patrice Godefroid Bell Laboratories, Lucent Technologies (USA) Susanne Graf Verimag Grenoble (France) Jan-Friso Groote Techn. Univ Eindhoven (The Netherlands) Orna Grumberg Technion Haifa (Israel) John Hatcliff (co-chair) Kansas State University (USA) Kurt Jensen (tool chair) University of Aarhus (Denmark) Bengt Jonsson Uppsala University (Sweden) Joost-Pieter Katoen Universiteit Twente (The Netherlands) Kim Larsen Aalborg U. (Denmark) Doron Peled University of Texas (USA) Sriram K. Rajamani Microsoft Research (USA) John Rushby SRI (USA) Steve Schneider Royal Holloway, University of London (UK) Gregor Snelting Univ. Passau (Germany) Bernhard Steffen Universität Dortmund (Germany) Willem Visser RIACS, NASA Ames Research Center (USA) PROGRAM COMMITTEE CHAIRS: Hubert Garavel John Hatcliff INRIA Rhone-Alpes, France Kansas State University http://www.inrialpes.fr/vasy http://www.cis.ksu.edu/~hatcliff TOOL CHAIR: Kurt Jensen (tool chair) University of Aarhus (Denmark)