European Joint Conferences on Theory and Practice of Software
Generated by GPT-5-miniExpansion Funnel Raw 164 → Dedup 0 → NER 0 → Enqueued 0
| European Joint Conferences on Theory and Practice of Software | |
|---|---|
| Name | European Joint Conferences on Theory and Practice of Software |
| Abbreviation | ETAPS |
| Discipline | Computer science |
| Frequency | Annual |
| First | 1998 |
| Country | Europe |
European Joint Conferences on Theory and Practice of Software The European Joint Conferences on Theory and Practice of Software bring together multiple conferences and workshops in computer science across Europe, combining research communities from theoretical computer science and software engineering to foster cross-disciplinary exchange among scholars from United Kingdom, Germany, France, Italy and other European Union states. The event aggregates established meetings such as International Conference on Compiler Construction, International Symposium on Formal Methods, International Conference on Software Engineering-adjacent venues and specialist workshops to present peer-reviewed research spanning specification, verification, testing, and tools. Participants include academics from institutions like University of Cambridge, ETH Zurich, Technische Universität München, industry researchers from Google, Microsoft Research, IBM Research, and representatives of funding bodies such as the European Research Council and Horizon 2020 programmes.
Overview
The conferences form a federation of themed tracks including Tools and Algorithms for the Construction and Analysis of Systems, International Conference on Fundamental Approaches to Software Engineering, International Conference on Software Architecture-related sessions, and International Conference on Compiler Construction-style forums, attracting attendees from Princeton University, Massachusetts Institute of Technology, Stanford University, University of Oxford, École Polytechnique, Delft University of Technology, KTH Royal Institute of Technology, and University of Edinburgh. The program typically features keynote presentations by figures associated with ACM, IEEE, Royal Society, and awardees of prizes like the Turing Award, the Gödel Prize, the Knuth Prize and national honours such as the CNRS Silver Medal. Organizers collaborate with societies including the European Association for Theoretical Computer Science, British Computer Society, Deutsche Forschungsgemeinschaft, and publishers such as Springer Science+Business Media.
History and Evolution
Initially conceived to unify separate meetings in theoretical computer science and software engineering, the conferences evolved through partnerships with events like International Symposium on Logic in Computer Science, TACAS, FSE, ICSE satellite events and CLEF-style workshops. Founding figures included researchers from University of York, University of Aarhus, University of Twente, Università di Pisa, and Scuola Normale Superiore di Pisa, and advisory boards have included members affiliated with CNRS, Max Planck Society, CNR and the Royal Society of Edinburgh. Over time the federation incorporated emerging areas appearing in venues such as POPL, CAV, SOSP, OSDI, SAS, and ISSTA, adapting to trends promoted by programmes like FP7 and private initiatives from companies including Amazon, Facebook, Intel and Nokia.
Conferences and Partner Events
Core constituent events have included tracks analogous to TACAS (tools), FASE (formal analysis), ISOLA (logic-based approaches), ETAPS-style workshops, and co-located symposia inspired by VLDB, SIGMOD, KDD and ICML cross-disciplinary outreach. Partner events have spanned collaborations with Eurosys, SOSP, Eurocrypt adjunct sessions, and regional meetings hosted in cities like Amsterdam, Berlin, Paris, Prague, Barcelona, Lisbon, Stockholm and Zurich. Tutorials and panels often draw experts associated with W3C, IETF, Eclipse Foundation, OpenJDK and standards bodies such as ISO and IEC.
Topics and Scope
Topics cover formal methods represented in CAV and LICS traditions, program analysis inspired by POPL and PLDI, software testing akin to ISSTA and ICSE, verification methods related to FV and VSTTE, and tool development in the spirit of SPIN and Z3. Applications range from systems research referencing Linux Kernel development and Docker containers to security studies related to OWASP, TLS, PGP and blockchain protocols appearing in Eurocrypt contexts. Cross-cutting themes engage with model checking techniques from Promela and SMV, type systems traced to ML and Haskell, and verification frameworks using Coq, Isabelle, Agda and HOL.
Organization and Governance
Governance typically involves program committees drawn from universities such as Imperial College London, Columbia University, Yale University, University of Toronto, Universidad Politécnica de Madrid, and research labs like Bell Labs, Bell Labs Research, Microsoft Research Cambridge, IBM Zurich Research Laboratory. Steering committees include representatives from associations such as ACM SIGPLAN, ACM SIGSOFT, IFIP, EATCS, and funders like European Commission initiatives. Conference chairs and PC chairs have been affiliated with institutions like SRI International, Rutherford Appleton Laboratory, Barcelona Supercomputing Center and national academies including The Royal Society.
Proceedings and Publications
Accepted papers are published in proceedings by publishers such as Springer in the Lecture Notes in Computer Science series, with archival indexing in DBLP, Scopus, Web of Science and citations tracked via Google Scholar and Microsoft Academic. Selected papers are sometimes extended into special issues of journals including Journal of the ACM, IEEE Transactions on Software Engineering, ACM Transactions on Programming Languages and Systems, Formal Aspects of Computing and Science of Computer Programming. Artifact evaluation, open data and supplementary materials are archived in repositories affiliated with Zenodo, Figshare, GitHub and institutional repositories at University of Oxford and ETH Zurich.
Impact and Notable Contributions
The conferences have catalyzed advances reflected in work connecting model checking from CAV communities to ICSE-style engineering practices, influenced tools such as SPARK, Frama-C, CBMC, LLVM, GCC and solvers like Z3, CVC4 and SAT4J. Notable contributions include influential papers that shaped research agendas later recognized by awards from ACM, IEEE Computer Society, and national academies including Academia Europaea. Cross-pollination facilitated collaborations leading to industrial adoption at organizations like Siemens, Ericsson, Airbus, Bosch and Volkswagen, and academic impacts seen in curricula at Carnegie Mellon University, University of Illinois Urbana-Champaign, University of Washington and National University of Singapore.