Sixth International Conference on
Tools and Algorithms for the Construction and Analysis of Systems
|March, 27 - April, 1st 2000||Berlin, Germany|
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)
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.
(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 27||tuesday 28||wednesday 29||thursday 30||friday 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"|
|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||-|
Programme Committee ChairsSusanne 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
University of Aarhus
BRICS, Dep. of Computer Science
DK - 8000 Århus C
tel: +45 8942 3374
fax: +45 8942 3255