ETAPS 2025 International Joint Conferences On Theory and Practice of Software
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. |