New TACAS SC Chair

We are happy to inform you that Joost-Pieter Katoen has been appointed Chair of the TACAS Steering Committee. TACAS is one of the flagship conferences on formal analysis techniques and tools for computer systems. He takes over this role from Bernhard Steffen (TU Dortmund) who has been SC chair since the foundation of TACAS in 1995.