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.

25 Years of TACAS

In 2019 we celebrated the 25th TACAS anniversary with a special event: TOOLympics.

Saturday was a day of competition workshops and community meetings.

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

Sunday 16-18 we celebrated 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)