Sixth International Conference on

Tools and Algorithms for the Construction and Analysis of Systems


March, 27 - April, 1st 2000 Berlin, Germany

A constituent of the 2000 European Joint Conferences on Theory and Practice of Software (ETAPS'2000).

[ LNCS online Now ] [ Best Papers ] [ Description ] [ Programme ] [ Programme Committee ] [ Future and past TACAS conferences ]


The proceedings of TACAS 2000 have been published by Springer Verlag in the Volume LNCS 1785 available online at
or .

Best Paper Awards:

EAPLS Best Paper Award: given to the best paper presented at any of the ETAPS'2000 conferences.

The ETAPS 2000 EAPLS Best Paper Award was given to the paper
"Symbolic reachability analysis based on SAT solvers" by
Parosh Aziz Abdulla (Uppsala University), Per Bjesse, Niklas Eén (Chalmers University of Technology)

The 1998 EAPLS Best Paper Award was given to
Giorgio Delzanno and Andreas Podelski for their paper "Model Checking in CLP".

The 1998 EAPLS Best Paper Award was given to A. Aiken, M. Fähndrich and Z. Su for their paper, "Detecting Races in Relay Ladder Logic Programs", which appeared in the proceedings of TACAS'98.

STTT Technology Transfer Award: For TACAS exists also an STTT Award for the best Technology Transfer paper of 250 Euros in the form of books.

The TACAS 2000 STTT award was given to the paper
"The PROSPER toolkit" by
Louise A. Dennis, Graham Collins, Graham Robinson, Tom Melham (University of Glagow), Michael Norrish, Konrad Slind, Mike Gordon (University of Cambridge), Richard Boulton (University of Edinburgh)

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, real-time, software engineering, communications protocols, hardware, theorem proving, and programming languages --- 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 particularily encouraged. The specific topics covered by the conference include, but are not limited to, the following:

All accepted contributions receive the same space in the conference schedule and in the proceedings, and technical support will be provided for allowing presenters to demonstrate their tools during their talks. Facilities will also be available for informal tool demonstrations during the conference.

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.


Details of TACAS Sessions : Session list

(for the full TACAS schedule look here and for the full ETAPS programme look here )

Overview on TACAS sessions and all ETAPS invited talks:

monday 27tuesday 28wednesday 29thursday 30friday 31
9:00 invited "Abbas Edalat" invited "Wlad Turski" invited "Richard Soley" TACAS invited Pierre Wolper invited "Martin Odersky"
10:30 - session "Timed and Hybrid Systems" session "Infinite and Parameterized Systems" session "Efficient Model-Checking" session "Symbolic Model-Checking"
12:30 lunch lunch lunch lunch lunch
14:00 session "Software and Formal Methods Tools" Panel invited "David Harel" invited "Reinhard Wilhelm" session "Visual Tools"
16:00 session "Formal Methods Tools" - session "Diagnostic and Test Generation" session "Model-Checking Tools" session "Verification of Critical Systems"
Evening - reception conference dinner business meeting -

Conference Organisation

Programme Committee Chairs

Susanne Graf
2, Avenue de la Vignate
F - 38240 Gières - France
tel: +33 (0)4 76 63 48 52
fax: +33 (0)4 76 63 48 50

Michael Schwartzbach
University of Aarhus
BRICS, Dep. of Computer Science
Ny Munkegade
DK - 8000 Århus C
tel: +45 8942 3374
fax: +45 8942 3255

Steering Committee

Ed Brinksma (U. Twente)
Rance Cleaveland (SUNY at Stony Brook)
Kim G. Larsen (U. Aalborg)
Bernhard Steffen(U. Dortmund)

Programme Committee

Thomas Ball (Microsoft Research)
Ed Brinksma (U. Twente)
Rance Cleaveland (SUNY at Stony Brook)
Matthew Dwyer (Kansas State U.)
Fausto Giunchiglia (U. Trento)
Susanne Graf (chair) (VERIMAG, Grenoble)
Constance L. Heitmeyer (Naval Research, Washington)
Gerard Holzmann (Bell Labs)
Claude Jard (IRISA, Rennes)
Joost N. Kok (U. Leiden)
Kim G. Larsen (U. Aalborg)
Tiziana Margaria (U. Dortmund)
Michael Schwartzbach (chair) (BRICS, U. Aarhus)
Bernhard Steffen (U. Dortmund)
Perdita Stevens (U. Edinburgh)
Wang Yi (U. Uppsala)

Future TACAS Conferences:

Past TACAS Conferences:

Last modified: June, 2001
Susanne Graf (