CALL FOR PAPERS

TACAS 2003

Ninth International Conference on
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION
AND ANALYSIS OF SYSTEMS

A member conference of the European Joint Conferences
on Theory and Practice of Software
(ETAPS 2003)

7-11 April 2003 Warsaw, Poland

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 conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating 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 15 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. See http://www.cis.ksu.edu/tacas03 for submission 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://vasy.inria.fr/tacas03/tool.html for submission 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

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 (extended to October 25, 2002)
December 13, 2002	Notification of authors
January 17, 2003	Final version due
April 7-11, 2003	TACAS 2003 Conference

INVITED SPEAKER

Peter Lee
School of Computer Science
Carnegie Mellon University, USA

PROGRAM COMMITTEE

Rajeev Alur University of Pennsylvania (USA)	Orna Grumberg Technion Haifa (Israel)
Albert Benveniste IRISA Rennes (France)	John Hatcliff (co-chair) Kansas State University (USA)
Ahmed Bouajjani Liafa, Paris 7 (France)	Kurt Jensen (tool chair) University of Aarhus (Denmark)
Rance Cleaveland SUNY at Stony Brook (USA)	Bengt Jonsson Uppsala University (Sweden)
Werner Damm Univ. Oldenburg (Germany)	Joost-Pieter Katoen Univ. of Twente (The Netherlands)
Luca de Alfaro University of California, Santa Cruz (USA)	Kim Larsen Aalborg Univ. (Denmark)
Alessandro Fantechi Univ. of Florence and IEI- CNR Pisa (Italy)	Doron Peled University of Texas at Austin (USA)
Alain Finkel LSV - ENS de Cachan (France)	Sriram K. Rajamani Microsoft Research (USA)
Hubert Garavel (co-chair) Inria Rhône-Alpes (France)	John Rushby SRI (USA)
Patrice Godefroid Bell Laboratories, Lucent Technologies (USA)	Steve Schneider Royal Holloway, University of London (UK)
Susanne Graf Verimag Grenoble (France)	Gregor Snelting Univ. Passau (Germany)
Jan Friso Groote Techn. Univ Eindhoven (The Netherlands)	Bernhard Steffen Universität Dortmund (Germany)
Willem Visser RIACS, NASA Ames Research Center (USA)

PROGRAM COMMITTEE CHAIRS

Hubert Garavel
INRIA Rhone-Alpes (France)

John Hatcliff
Kansas State University (USA)

TOOL CHAIR

Kurt Jensen
University of Aarhus (Denmark)

TACAS STEERING COMMITTEE

Ed Brinksma Univ. of Twente (The Netherlands)	Rance Cleaveland SUNY at Stony Brook (USA)
Kim Larsen Aalborg Univ. (Denmark)	Bernhard Steffen Univ. Dortmund (Germany)