Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.disi.unige.it/etaps2001/TACAS/index.html
Email: tacas2001@cs.uni-dortmund.de
Organizers: Tiziana Margaria, Wang Yi
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.
Date received: August 15, 2000
© 2008 Atlas Conferences Inc.