The 25th ETAPS is heading to Garching in April

Für Studierende, Forschung, Startseite |

European Joint Conferences on Theory and Practice of Software (ETAPS) returns to Germany after 11 years

The main conferences will take place on TUM campus Garching from April 4 to April 7, preceded by the workshops on April 2 and 3. More information is available at https://etaps.org

The European Joint Conferences on Theory and Practice of Software (ETAPS) is an international association of conferences, which was founded in 1998 and has been held annually since then. The thematic orientation of the ETAPS ranges from fundamental aspects of software systems, computer-aided formal analysis and verification methods for software and hardware systems to practical aspects of programming and software engineering. This includes various aspects of the system development process, including specification, design, implementation, analysis, and maintenance, as well as the languages, methods, and tools necessary for these tasks. Different gradations of theory and practice are represented, on the one hand focused on theory with practical motivation, and on the other hand also on well-founded practice. Many of the issues in software development are relevant to systems in general, including hardware systems.
In 2022 ETAPS returns to Germany after 11 years. Prof. Jan Kretinsky (Chair of Theoretical Computer Science , TUM) and Prof. Dirk Beyer (Software and Computational Systems Lab, LMU) have been appointed to organize the 25th edition of ETAPS in Munich, the first one held on site after the cancellation in 2020 and purely online event in 2021 due to Corona. All students and employees of TUM and LMU are cordially invited to the scientific programme without the need of paid registration. (CoViD-related registration procedures might still be in place.) Attending the social events and coffee/lunch breaks requires a (paid) registration. The event is also supported by global industrial research leaders such as Google, Amazon, and Facebook, as well as successful companies with TUM roots, such as Celonis or Itestra.
The ETAPS conferences consist of ESOP (31st European Symposium on Programming), TACAS (28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), FASE (25th International Conference on Fundamental Approaches to Software Engineering), and FoSSaCS (25th International Conference on Foundations of Software Science and Computation Structures). ETAPS 2022 will be accompanied by a series of scientific events, including 15 workshops, which will highlight a very broad spectrum of current research topics.