ESOP - European Symposium on Programming


ESOP is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science.

Past and forthcoming editions

Edition Place Program Chair(s) Acceptance rate
ESOP 2025Torino, Italy Robbert Krebbers -/-
ESOP 2025Hamilton, Canada Viktor Vafeiadis -/-
ESOP 2024Luxembourg, Luxembourg Stephanie Weirich 26/72
ESOP 2023Paris, France Thomas Wies 20/55
ESOP 2022Munich, Germany Ilya Sergey 21/64
ESOP 2021Luxembourg, LuxembourgNobuko Yoshida 24/77
ESOP 2020Dublin, Ireland Peter Mueller 27/87
ESOP 2019Prague, Czech RepublicLuis Caires 28/86
ESOP 2018Thessaloniki, Greece Amal Ahmed 36/114
ESOP 2017Uppsala, Sweden Hongseok Yang 36/112
ESOP 2016Eindhoven, The NetherlandsPeter Thiemann 29/89
ESOP 2015London, UK Jan Vitek 33/113
ESOP 2014Grenoble, France Zhong Shao 27/109
ESOP 2013Rome, Italy Matthias Felleisen, Philippa Gardner 31/120
ESOP 2012Tallinn, Estonia Helmut Seidl 28/92
ESOP 2011Saarbrücken, GermanyGilles Barthe 24/93
ESOP 2010Paphos, Cyprus Andrew D. Gordon 30/121
ESOP 2009York, United KingdomGiuseppe Castagna 26/98
ESOP 2008Budapest, Hungary Sophia Drossopoulou 27/104
ESOP 2007Braga, Portugal Rocco De Nicola 34/136
ESOP 2006Vienna, Austria Peter Sestoft 21/87
ESOP 2005Edinburgh, UK Shmuel Sagiv 29/114
ESOP 2004Barcelona, Spain David A. Schmidt 27/118
ESOP 2003Warsaw, Poland Pierpaolo Degano 27/99
ESOP 2002Grenoble, France Daniel Le Métayer 21/73
ESOP 2001Genova, Italy David Sands 26/76
ESOP 2000Berlin, Germany Gert Smolka 26/84
ESOP 1999Amsterdam, The NetherlandsS. Doaitse Swierstra18/44
ESOP 1998Lisbon, Portugal Chris Hankin 17/59
ESOP 1996Linköping, Sweden Hanne Riis Nielson 23/64
ESOP 1994Edinburgh, UK Donald Sannella 31/110
ESOP 1992Rennes, France Bernd Krieg-Brückner 18/40
ESOP 1990Copenhagen, DenmarkNeil D. Jones 24/75
ESOP 1988Nancy, France Harald Ganzinger 23/75
ESOP 1986Saarbrücken, GermanyBernard Robinet, Reinhard Wilhelm28/100


updated (jann 2023)