TACAS International Conference on Tools and Algorithms for the Construction and Analysis of Systems

TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.

The TACAS conference is a founding member of ETAPS. Its roots go back to 1995, when it was first held in Aalborg, Denmark. Since then the TACAS proceedings are published in the LNCS series of Springer-Verlag.

• Dirk Beyer (LMU Munich, Germany)
• Rance Cleaveland (University of Maryland, USA)
• Dana Fisman (Ben-Gurion University, Israel)
• Holger Hermanns (Universität des Saarlandes, Germany)
• Joost-Pieter Katoen (RWTH Aachen, Germany)—chair
• Kim G. Larsen (Aalborg Universitet, Denmark)
• Corina Păsăreanu (NASA Ames, USA)

• Ed Brinksma (University of Twente, Netherlands)
• Bernhard Steffen (Technische Universität Dortmund, Germany)