ETAPS 2003

CALL FOR PAPERS

ETAPS 2003

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:

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:

Both types of contributions will appear in the proceedings and be allocated thirty-minute slots during the conference.

In brief, submitted papers must

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:



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)



RELATED LINKS




Back to the TACAS 2003 Home Page