ESOP 2014

23rd European Symposium on Programming

Grenoble, France

Conference Description

The 23rd ESOP will take place in Grenoble (France) during the week of April 7, 2014.

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. ETAPS 2014 is the 17th joint conference in this series.

The prior ETAPS conferences took place 1998 in Lisbon, 1999 in Amsterdam, 2000 in Berlin, 2001 in Genova, 2002 in Grenoble, 2003 in Warsaw, 2004 in Barcelona, 2005 in Edinburgh, 2006 in Vienna, 2007 in Braga, 2008 in Budapest, 2009 in York (UK), 2010 in Paphos (Cyprus), 2011 in Saarbrücken (Germany), 2012 in Tallinn (Estonia), and 2013 in Rome (Italy).

23rd European Symposium on Programming (ESOP)

ESOP is an annual conference 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 including, but not limited to, the following areas:

  • Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific languages, synchronous and real-time programming languages;
  • Methods and tools to write and specify programs and languages: programming techniques, logical foundations, denotational semantics, operational semantics, meta programming, module systems, language-based security;
  • Methods and tools for reasoning about programs: type systems, abstract interpretation, program verification, testing;
  • Methods and tools for implementation: program transformations, rewriting systems, partial evaluation, experimental evaluations, virtual machines, intermediate languages, run-time environments;
  • Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages.
Contributions bridging the gap between theory and practice are particularly welcome.

Submission Guidelines

Papers must be written in English, unpublished and not submitted for publication elsewhere. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be in the format specified by Springer-Verlag in this page.

Submissions must be in PDF format, formatted in the LNCS style and be at most 20 pages long. Papers longer than 20 pages will be rejected without review.

Note If you consider some supplemental material critical, you should include a note at the end of these 20 pages that points to an URL for an appendix. Alternatively, mark page 21 with the word "Appendix" and include a paper-appendix. Either way the reviewers have no obligation to read this appendix; they may look it up at their convenience, and they may -- or may not -- read it.

Important Dates and Submission

  • 4 October 2013: Submission deadline for abstracts (strict)
  • 11 October 2013: Submission deadline for full papers (strict)
  • 2–4 December 2013: Author response period
  • 20 December 2013: Notification of decision (NEW: List of accepted papers)
  • 17 January 2014: Camera-ready versions due
  • 7–11 April 2014: Presentations in Grenoble, France (NEW: Advanced Program & Online Proceedings)
All deadlines denote 23.59 UTC-11 [in sync with ETAPS].

The submission deadline for papers is strict. Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

Please submit your abstract and your paper via the ESOP 2014 author interface of Easychair.

Invited Speaker

Maurice Herlihy, Brown University

Program Chair

Zhong Shao, Yale University

Program Committee

Zena Ariola, University of Oregon, USA
Gavin Bierman, Microsoft Research, UK
Viviana Bono, University of Torino, Italy
Luís Caires, Universidade Nova de Lisboa, Portugal
Avik Chaudhuri, Facebook, USA
Koen Claessen, Chalmers University of Technology, Sweden
Isil Dillig, University of Texas, Austin, USA
Roberto Giacobazzi, University of Verona, Italy
Alexey Gotsman, IMDEA Software Institute, Spain
Martin Hofmann, LMU München, Germany
Zhenjiang Hu, National Institute of Informatics, Japan
Joxan Jaffar, National University of Singapore, Singapore
Neel Krishnaswami, University of Birmingham, UK
Paul-André Melliès, CNRS and Université Paris Denis Diderot, France
Todd Millstein, University of California, Los Angeles, USA
Tobias Nipkow, Technische Universität München, Germany
David Pichardie, ENS Rennes, France
François Pottier, INRIA Rocquencourt, France
Tom Schrijvers, Ghent University, Belgium
David Van Horn, University of Maryland, USA
Martin Vechev, ETH Zurich, Switzerland
Philip Wadler, University of Edinburgh, UK
Nobuko Yoshida, Imperial College London, UK
Steve Zdancewic, University of Pennsylvania, USA

Etaps Website