Tools and algorithms for the construction and analysis of systems

TACAS'99, the fifth international conference on tools and algorithms for the construction and analysis of systems, will be held in Amsterdam, The Netherlands, from 22 to 26 March 1999. The event will form part of the European Joint Conferences on Theory and Practice of Software (ETAPS'99), which is a loose and open confederation of existing and new conferences and other events targeted at academic and industrial researchers working in software science.

The aim of the event is to provide a forum for researchers, developers and users interested in rigorously based tools for the construction and analysis of systems. It will serve to bridge the gap between different communities, such as those devoted to formal methods, real-time, software engineering, communications protocols, hardware, theorem proving and programming languages. 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.

The specific topics to be addressed during the conference include, but are not limited to, the following:

- Verification and construction techniques;
- Compositional and refinement-based methodologies;
- Heterogeneous analysis;
- Theorem-proving and model checking;
- Analytical techniques for real-time, hybrid, probabilistic and safety-critical systems;
- Tool environments and tool architecture;
- Applications and case studies.
For further information, please contact:

SUNY
Rance Cleaveland
Stony Brook
NY 11794-4400
USA
Tel. +1-516-6328470; Fax +1-516-6328334
E-mail: rance@cs.sunysb.edu
URL: http://www.csc.ncsu.edu/tacas99/(opens in new window)