TACAS 2005 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of System

Event Detail

General Information
Dates:
Monday, April 4, 2005 - Friday, April 8, 2005
Days of Week:
Monday
Tuesday
Wednesday
Thursday
Friday
Target Audience:
Academic and Practice
Location:
Edinburgh, Scottland
Sponsor:
Event Details/Other Comments:

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, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, and communications protocols --- that 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.
TACAS is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2005 is the eigth joint conference in this series. The conference is organized by the University of Edinburgh. The prior conferences have been ETAPS 98 in Lisbon, ETAPS
99 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, ETAPS
2002 in Grenoble, ETAPS 2003 in Warsaw, and ETAPS 2004 in Barcelona.