ESOP 2015 - 24th European Symposium on Programming (ESOP)

ESOP is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research; theoretical and/or practical advances are welcome. ESOP also seeks to encourage repeatable research; papers describing reproduction studies and experimental methodologies will be considered. Authors concerned about the appropriaeness of a topic should consult with the program chair prior to submission.
Important dates and submission
See the ETAPS 2015 joint call for papers. Submit your paper via the ESOP 2015 author interface of HotCRP.
ESOP 2015 will use a rebuttal phase. Dates: 3-5 Dec. 2014.
Programme chair
Jan Vitek (Purdue University, USA)
Programme Committee
Umut Acar (Carnegie Mellon University, USA)
Jade Algave (University College London, UK)
Gilles Barthe (IMDEA Software Institute, Spain)
Gavin Bierman (Oracle, UK)
Lars Birkedal (Aarhus Universitet, Denmark)
Luis Caires (Universidade Nova de Lisboa, Portugal)
Adam Chlipala (MIT, USA)
Charles Consel (Université Bordeaux and INRIA, France)
Delphine Demange (Université Rennes 1, France)
Isil Dillig (University of Texas, USA)
Alastair Donaldson (Imperial College London, UK)
Derek Dreyer (MPI-SWS, Germany)
Azadeh Farzan (University of Toronto, Canada)
Cedric Fournet (Microsoft Research, UK)
Giorgio Ghelli (Università di Pisa, Italy)
Alexey Gotsman (IMDEA Software Institute, Spain)
Peter Müller (ETH Zürich, Switzerland)
Luca Padovani (Università di Torino, Italy)
Keshav Pingali (University of Texas, USA)
Mooly Sagiv (Tel Aviv University, Israel)
David Sands (Chalmers University of Technology, Sweden)
Helmut Seidl (Technische Universität München, Germany)
Armando Solar-Lezama (MIT, USA)
Éric Tanter (Universidad de Chile, Chile)
Peter Thiemann (Universität Freiburg, Germany)
Hongseok Yang (University of Oxford, UK)
Francesco Zappa Nardelli (INRIA Paris-Rocquencourt, France)