ETAPS is a confederation of several conferences (TACAS, FoSSaCs, FASE and ESOP) bringing more than 500 researchers to participate in this event every year.

This year, ETAPS is being hosted in North America for the first time at McMaster University. This marks a significant expansion of the conference’s global reach since its first event in Portugal in 1998.

The conference spans a wide range of topics, from theoretical foundations to practical applications, including programming languages, compiler advancements, analysis tools, formal approaches to software engineering, and security.

What’s at ETAPS 2025?

ESOP 2025
34th European Symposium on Programming
ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

FASE 2025
28th International Conference on Fundamental Approaches to Software Engineering
FASE is concerned with the foundations on which software engineering is built.

FoSSaCS 2025
28th International Conference on Foundations of Software Science and Computation Structures
FoSSaCS seeks original papers on foundational research with a clear significance for software science.

TACAS 2025
31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems.

Industry Day
ETAPS Industry Day allows for an unmissable meeting point to develop fruitful collaborations between academia and industry, addressing the existing and upcoming challenges.

For companies, the Industry Day provides an opportunity to meet graduate students as prospective future employees, leading researchers as future collaborators, and practitioners who face related challenges.

Satellite Events
Several satellite events are organized before the main conferences.

Learn more and register at ETAPS 2025