TACAS 2001 - Tools and Algorithms for the Construction and Analysis of Systems

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.

Verification and construction techniques
Compositional and refinement-based methodologies
Test generation
Theorem-proving and model checking
Analytical techniques for real-time, hybrid and safety-critical systems
Tool environments and tool architectures
Applications and case studies

All accepted contributions will 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.

Program committee

Rajeev Alur (University of Pennsylvania, USA) alur@cis.upenn.edu
Ed Brinksma (Universiteit Twente, The Netherlands) brinksma@cs.utwente.nl
Rance Cleaveland (SUNY at Stony Brook, USA) rance@cs.sunysb.edu
Hubert Garavel (INRIA Rhône-Alpes, France) Hubert.Garavel@inria.fr
Susanne Graf (VERIMAG Grenoble, France) Susanne.Graf@imag.fr
Orna Grumberg (Technion Haifa, Israel) orna@cs.technion.ac.il
John Hatcliff (Kansas State University, USA) hatcliff@cis.ksu.edu
Hardi Hungar (METAFrame Research, Germany) hhungar@metaframe.de
Claude Jard (IRISA Rennes, France) Claude.Jard@irisa.fr
Stuart Kent (University of Kent, UK) S.J.H.Kent@ukc.ac.uk
Kim Larsen (Aalborg Universitet, Denmark), kgl@cs.auc.dk
Tiziana Margaria CO-CHAIR (Universität Dortmund, Germany) Tiziana.Margaria@cs.uni-dortmund.de
Doron Peled (Bell Laboratories Murray Hill, USA) doron@research.bell-labs.com
Andreas Podelski (MPI Saarbrücken, Germany) podelski@mpi-sb.mpg.de
Mary Sheeran (Chalmers University, Sweden) ms@cs.chalmers.se
Bernhard Steffen (Universität Dortmund, Germany) Bernhard.Steffen@cs.uni-dortmund.de
Perdita Stevens (University of Edinburgh, UK) Perdita.Stevens@dcs.ed.ac.uk
Wang Yi CO-CHAIR (Uppsala Universitet, Sweden) yi@docs.uu.se

Chairs

	Tiziana Margaria		Wang Yi
	Lehrstuhl für Programmiersysteme		Dept of Computer Systems
	Universität Dortmund		Uppsala Universitet
	Germany		Sweden
	tacas2001@cs.uni-dortmund.de		tacas2001@cs.uni-dortmund.de

Invited Speaker

Michael Fourman, University of Edinburgh, UK