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.