25 Years of TACAS

This year we celebrate the 25th TACAS anniversary with a special event: TOOLympics.

Saturday is a day of competition workshops and community meetings.

Sunday 11:00-15:30 we have presentation sessions where 16 competitions in the area of formal methods present themselves.

Sunday 16-18 we celebrate 25 Years of TACAS with a panel. Afterwards, there will be a dinner / celebration party.

A Short History of TACAS (memo written by three of the TACAS founders)


TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.

The TACAS conference is a founding member of ETAPS. Its roots go back to 1995, when it was first held in Aalborg, Denmark. Since then the TACAS proceedings are published in the LNCS series of Springer-Verlag.