European Joint Conferences on Theory and Practice of Software (ETAPS)
Generated by GPT-5-miniExpansion Funnel Raw 136 → Dedup 0 → NER 0 → Enqueued 0
| European Joint Conferences on Theory and Practice of Software (ETAPS) | |
|---|---|
| Name | European Joint Conferences on Theory and Practice of Software |
| Abbreviation | ETAPS |
| Discipline | Computer science |
| Established | 1998 |
| Frequency | Annual |
European Joint Conferences on Theory and Practice of Software (ETAPS) ETAPS is an annual federation of conferences in computer science focused on programming languages, software engineering, and formal methods. It brings together researchers from forums such as ACM SIGPLAN, IEEE Computer Society, IFIP and institutions including Inria, Max Planck Society and University of Cambridge to present peer-reviewed research and foster collaboration. The federation parallels other federated events like International Conference on Software Engineering and Conference on Programming Language Design and Implementation, hosting multiple constituent conferences and workshops under one umbrella.
History
ETAPS was founded in 1998 to consolidate separate European events in theory of computation and software engineering. Early influences included POPL, LICS, CAV, and national symposia organized by Royal Society–affiliated groups and universities such as University of Oxford and Ecole Normale Supérieure. Over time ETAPS evolved through venues in Europe including cities like Naples, Barcelona, and Prague, aligning with initiatives from European Union research programs and collaborations with organizations like ERC and Horizon 2020. Prominent figures from Microsoft Research, Google Research, Bell Labs, ETH Zurich, and Stanford University contributed to its development.
Scope and constituent conferences
ETAPS federates multiple conferences covering a spectrum from formal verification to software architecture. Core constituent events include European Symposium on Programming (focused on programming languages and semantics), International Conference on Compiler Construction (covering compilers and optimization), Tools and Algorithms for the Construction and Analysis of Systems (bridging model checking and automated verification), Fundamental Approaches to Software Engineering (addressing software engineering methods), and Principles of Security and Trust (dealing with cryptography and security protocols). The federation accommodates workshops and satellite events drawn from communities such as ACM SIGPLAN, IEEE Symposium on Security and Privacy, IFIP WG 2.3, and regional groups tied to TU Delft and Politecnico di Milano.
Organization and governance
ETAPS is governed by a steering committee with representatives from sponsoring organizations and host institutions including CWI, CNRS, TU Munich, and Imperial College London. The steering committee appoints program chairs for each constituent conference, often drawn from universities like University of Edinburgh, University of Warsaw, University of Twente, and corporate labs such as IBM Research and Oracle Labs. Annual program committees include reviewers affiliated with Carnegie Mellon University, Princeton University, University of Illinois Urbana–Champaign, McGill University, and international labs like RIKEN and Tsinghua University. Funding and sponsorship have come from entities including European Research Council, Google, Microsoft, Schneider Electric, and national research councils like Agence Nationale de la Recherche.
Publications and proceedings
Proceedings are published in series such as Lecture Notes in Computer Science by Springer and occasionally in special issues of journals like Journal of the ACM, Information and Computation, and ACM Transactions on Programming Languages and Systems. Selected papers have appeared in collections alongside publications from SIAM and IEEE Press. ETAPS maintains digital archives hosted by academic repositories and platforms used by DBLP, ACM Digital Library, and arXiv for preprints. Proceedings typically include full papers, tool papers, and artifact evaluations with metadata indexed by services including Google Scholar, Scopus, and Web of Science.
Notable papers and contributions
ETAPS has showcased influential work such as advances in model checking that relate to symbolic model checking and techniques pioneered in Blaze, developments in type theory linked to dependent types and Coq-based proofs, and contributions to program analysis connecting to abstract interpretation by researchers affiliated with INRIA and École Polytechnique. The federation has seen papers that impacted projects at Facebook and Amazon Web Services in static analysis and runtime verification, and algorithmic results later used in LLVM and GCC. Breakthroughs in concurrency theory from ETAPS influenced standards adopted by groups like IETF and techniques used in Docker and Kubernetes orchestration. Notable authors and contributors have included scholars from MIT, Harvard University, University of California, Berkeley, Purdue University, University of Toronto, Ben-Gurion University of the Negev, and Weizmann Institute of Science.
Conferences and locations by year
ETAPS rotates across European venues with past locations including Amsterdam (hosted by CWI), Paris (hosted by École Normale Supérieure), London (hosted by Imperial College London), Grenoble (hosted by INRIA Grenoble), Zurich (hosted by ETH Zurich), Vienna (hosted by TU Wien), Brussels (hosted by Université libre de Bruxelles), Rome (hosted by Sapienza University of Rome), Tallinn (hosted by Tallinn University of Technology), and Lisbon (hosted by Instituto Superior Técnico). Each year program and workshop chairs have represented institutions such as University of Oslo, RWTH Aachen University, Politecnico di Torino, University of Ljubljana, and University of Helsinki.
Awards and recognitions
ETAPS bestows awards including best paper awards and artifact evaluation badges, and sponsors recognitions aligned with prizes in computer science such as early-career awards comparable to honors from ACM and IEEE. Distinguished contributors have been acknowledged with career awards and invited talks by luminaries from Royal Society fellows, recipients associated with Turing Award laureates, and researchers from Nobel Prize-adjacent institutions. Corporate sponsors have presented student travel grants and best-paper prizes in collaboration with organizations including Google Research and Microsoft Research.