Tuesday
Wednesday
Thursday
Friday
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.