ESOP European Symposium On Programming
Scope
The ESOP conference is a premier European venue devoted to fundamental issues in the specification, design, analysis and implementation of programming languages and systems. Covered areas include: Programming paradigms and styles; Methods and tools to write and specify programs and languages; Methods and tools for reasoning about programs; Programming systems design and implementation.
History
The first ESOP conference was held in 1986 in Saabrücken, Germany, co-chaired by Bernard Robinet and Reinhard Wilhelm, with proceeding published as Springer-Verlag LNCS 213. After first six biannual editions, ESOP joined ETAPS in 1998 as one of its founding conferences.
25 Anniversary Celebration
In 2022, ESOP celebrated its 25 anniversary. Watch the talk of Peter Müller about the conference history!
Links
Steering Committee
- Robbert Krebbers, Radboud University Nijmegen (SC chair and PC chair 2026)
- Azalea Raad, Imperial College London (PC chair 2027)
- Viktor Vafeiadis, Max Planck Institute for Software Systems (PC chair 2025)
- Stephanie Weirich, University of Pennsylvania (PC chair 2024)
- Brigitte Pientka, McGill University (permanent member since 2017)
- Nobuko Yoshida, Oxford University (permanent member since 2023)