ETAPS 2003

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.

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.



CONFERENCE PROGRAM AND PROCEEDINGS

  TACAS 2003 received a record number of submissions: 140 research papers and 20 tool papers were submitted.

The Program Committee selected 35 research papers and 6 tool papers, and invited 2 research paper submissions as tool papers.

The average acceptance ratio was 27% (25% for research papers and 30% for tool papers).




PROGRAM COMMITTEE CHAIRS


Hubert Garavel
INRIA Rhone-Alpes (France)

John Hatcliff
Kansas State University (USA)
 

TOOL CHAIR


Kurt Jensen
University of Aarhus (Denmark)

INVITED SPEAKER


Peter Lee
Carnegie Mellon University (USA)



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)



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)



Back to the TACAS 2003 Home Page