ESOP 2013

22nd European Symposium on Programming

Rome, Italy

Conference Description

The 22nd ESOP will take place in Rome (Italy) during the week of March 17, 2013.

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 2013 is the 16th 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), and 2012 in Tallinn (Estonia).

22nd 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 a URI 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

  • 7 October 2012: Submission deadline for abstracts (strict)
  • 14 October 2012: Submission deadline for full papers (strict)
  • 28–30 November 2012: Beginning of author response period
  • 14 December 2012: Notification of decision
  • new Final session arrangement
  • 8 January 2013: Camera-ready versions due
  • 16–24 March 2013: Presentations in Rome, Italy
All deadlines denote 23.59 GMT-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 2013 author interface of Easychair.

Invited Speaker

Mark S. Miller, Google Research

Programme Co-chairs

Matthias Felleisen, Northeastern University
Philippa Gardner, Imperial College London

Programme Committee

Luca Aceto, Reykjavik University
Véronique Benzaken, Université Paris Sud 11
Derek Dreyer, MPI-SWS
Matthias Felleisen, Northeastern University
Philippa Gardner, Imperial College London
Giorgio Ghelli, Università di Pisa
Holger Hermanns, Universität des Saarlandes
Suresh Jagannathan, Purdue University
Andy King, University of Kent
Akash Lal, Microsoft Research, India
Cosimo Laneve, Università di Bologna
Gary T. Leavens, University of Central Florida
Xavier Leroy, INRIA
Annie Liu, SUNY at Stony Brook
Aleksandar Nanevski, The IMDEA Software Institute
Michael Norrish, National ICT Australia
Nate Nystrom, University of Lugano (USI)
Joel Ouaknine, University of Oxford
Scott Owens, University of Cambridge
Jens Palsberg, UCLA
Simon Peyton-Jones, Microsoft Research, Cambridge
Xavier Rival, INRIA
Sukyoung Ryu, KAIST
Zhong Shao, Yale University
Yannis Smaragdakis, University of Athens
Geoff Smith, Florida International University
Eran Yahav, Technion

Etaps Website