16th European Symposium on Programming

Braga (Portugal), 24 March - 1 April, 2007


Call for Papers ( Submission Page )

ESOP is an annual conference devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems. This includes:

  • Design of programming languages and calculi and their formal properties
  • Techniques, methods, and tools for their implementation
  • Exploitation of programming styles within different programming paradigms
  • Automatic and manual methods for generating and reasoning about programs
  • The design and invention of systems and tools to assist in exploitation of the languages

Contributions bridging the gap between theory and practice are particularly welcome. Topics traditionally covered by ESOP include programming paradigms and their integration, semantics, calculi of computation, security and privacy, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.


Programme Committee

Chair: Rocco De Nicola, University of Firenze (Italy)

  • Steve Brookes, CMU Pitsburgh
  • Patrick Cousot, ENS Paris
  • Sophia Drossopoulou, Imperial College
  • Joshua Guttman, MITRE
  • Alan Jeffrey, Bell Labs
  • Fleming Nielson, DTU Copenhagen
  • Andrei Sabelfeld, Chalmers
  • Walid Taha, Rice U.
  • Gianluigi Zavattaro, U. Bologna
  • Gerard Boudol, INRIA Sophia Antipolis
  • Mads Dam, KTH Stocholm
  • Cedric Fournet, Microsoft Cambridge
  • Chris Hankin, Imperial College
  • Xavier Leroy, INRIA Paris
  • Catuscia Palamidessi, INRIA Paris
  • Don Sannella, U. Edinburgh
  • Jan Vitek, Purdue U.
  • Giuseppe Castagna, ENS Paris
  • Pierpaolo Degano, U. Pisa
  • Stefania Gnesi, ISTI CNR
  • Matthew Hennessy, U. Sussex
  • John Mitchell, Stanford U.
  • Benjamin Pierce, U. Pennsilvania
  • Bernhard Steffen, U. Dortmund
  • Martin Wirsing, LMU Munich

Important Dates

  • Friday 6 October 2006: Abstract submission
  • Friday 13 October 2006 23.59 Samoa time (GMT -11): Paper submission
  • Friday 8 December 2006: Author notification
  • Friday 5 January 2007: Camera-ready paper versions due
  • Saturday 24 March to Sunday 1 April 2007: ETAPS 2007
The above deadlines are strict. Making the deadline for submission of abstracts a week early allows the programme committee to start work before full versions are available. Obviously, there is no need to wait with submission of the full version until the final deadline.

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the final deadline will be treated as withdrawn.


Invited Speaker

Andrew Pitts, Cambridge University, UK



The ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types of contributions will appear in the proceedings, published in the Springer-Verlag Lecture Notes in Computer Science series.

Submitted papers must:

Submissions not adhering to the specified format and length may be rejected immediately, without review. All papers, especially research papers, should clearly identify their novel contributions to the domain of fundamental approaches to software engineering. One author of each accepted paper must attend the conference to present the paper.

Research papers

Research papers should describe a novel contribution to the field. Final papers shall not be more than 15 pages long. Additional material intended for the referee, but not for publication in the final version (for example, details of proofs), may be placed in a clearly marked appendix that is not included in the page limit.

Tool demonstration papers

Tool demonstration papers should describe novel and state-of-the-art tools. Submissions should consist of two parts. The first part, no more than 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. This part will be included in the proceedings. The second part, no more than 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. This part will not be included in the proceedings, but will be evaluated.