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.
In 2022, ESOP celebrated its 25 anniversary. Watch the talk of Peter Müller about the conference history!