|
|
|
| ||
A member conference of the
European Joint Conferences
|
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.
|
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).
|
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) |
| Ed Brinksma Univ. of Twente (The Netherlands) |
Rance Cleaveland SUNY at Stony Brook (USA) |
| Kim Larsen Aalborg Univ. (Denmark) |
Bernhard Steffen Univ. Dortmund (Germany) |
| 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