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 accepts only research papers (max 25 pp). ESOP 2015 will use a rebuttal phase. Dates: 3-5 Dec. 2014.

Programme chair

Jan Vitek (Northeastern 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)


Who's online

We have 248 guests and no members online

Site Hosted by