European Symposium On Programming

ESOP European Symposium On Programming


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.


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!


Steering Committee

  • Luis Caires, Instituto Superior Técnico, Universidade de Lisboa, Portugal (Chair)
  • Brigitte Pientka, McGill University
  • Ilya Sergey, National University of Singapore
  • Stephanie Weirich, University of Pennsylvania
  • Thomas Wies, New York University
  • Nobuko Yoshida, Oxford University