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 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
Susanne Graf tel : (+33) (0)4 76 63 48 52 VERIMAG 76 63 48 48 (secr) Centre Equation fax : (+33) (0)4 76 63 48 50 2, avenue de la Vignate http://www-verimag.imag.fr/PEOPLE/Susanne.Graf
F - 38610 Gieres e-mail: Susanne.Graf@imag.fr Further Information: http://www-verimag.imag.fr/TACAS2000
Pierre Wolper, University of Liege