[1] It was founded by Bernhard Steffen, Rance Cleaveland, Ed Brinksma, and Kim Larsen.
The first TACAS was held in 1995 in Aarhus, Denmark followed by the conferences in 1996 in Passau, Germany and 1997 in Enschede, Netherlands.
[3] ESOP (European Symposium on Programming) is a conference that focuses on fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
It replaced the conference Formal Aspects/Approaches to Software Engineering while keeping its acronym.
[5] FoSSaCS (International Conference on Foundations of Software Science and Computation Structures) is a conference that focuses on foundational research in software science, especially theories and methods for the analysis, integration, synthesis, transformation, and verification of programs and software systems.