Conference Description
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
2012 is the 15th
joint conference in this series.
The prior conferences have been ETAPS
1998 in Lisbon, ETAPS 1999 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001
in Genova, ETAPS
2002 in Grenoble, ETAPS
2003 in Warsaw, ETAPS 2004
in Barcelona, ETAPS 2005
in Edinburgh, ETAPS 2006
in Vienna, ETAPS 2007
in Braga, and ETAPS 2008 in
Budapest, ETAPS 2009
in York, UK, ETAPS 2010
in Paphos, Cyprus, and ETAPS 2011
in
Saarbrücken, Germany.
Call for Papers
ESOP is an annual conference devoted to fundamental issues in
the
specification, design, analysis, and implementation of programming
languages and systems. ESOP 2012 is the twenty second edition in this
series and seeks contributions on all aspects of programming language
research including, but not limited to, the following areas:
- Programming paradigms and styles: functional
programming, aspect-oriented programming, object-oriented programming,
logic programming, constraint programming, extensible programming
languages, domain-specific languages, biologically-inspired languages,
synchronous and real-time programming languages.
- Methods and tools to write, reason about, and specify
languages and programs: module systems, programming techniques,
meta programming, type systems, logical foundations, denotational
semantics, operational semantics, program verification, static
analysis, testing, language-based security.
- Methods and tools for reasoning about programs: type
systems, abstract interpretation, program verification, testing;
- Methods and tools for implementation: rewriting
systems, program transformations, partial evaluation, experimental
evaluations, virtual machines, intermediate languages, run-time
environments.
- Concurrency and distribution: parallel programming,
process algebras, concurrency theory, service-oriented computing,
distributed and mobile languages.
Rebuttal phase
Authors will be given a period to read and respond to the reviews of their papers
before the PC meeting on Dec. 6/7.
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. Additional material, that is not to be included
in the final version, but may help assessing the merits of the
submission - for example details of proofs - may be placed in a
clearly marked appendix that is not included in the page limit. ETAPS
referees are at liberty to ignore appendices, and papers must be
understandable without them.
Papers can be sumitted via the following submission
page.
Important Dates
- 7 October 2011 (23:59 Apria, Samoa time):
Submission deadline for abstracts (strict)
- 14 October 2011 (23:59 Apia, Samoa time):
Submission deadline for full papers (strict)
- 6/7 December 2011:
Author response period
- 16 December 2011: Notification of
acceptance
- 6 January 2012: Camera-ready versions due
The submission deadline for papers is
strict (site
will close at
23:59 Samoan time). 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.
Invited Speaker
Bjarne
Stroustroup, Texas A&M Univ (USA)
Programme Committee
Chair: Helmut Seidl,
TU München (Germany)
- Andreas Abel (Ludwig Maximilian Univ. of München, Germany)
- Chandra Boyapati (Univ. of Michigan, USA)
- Witold Charatonik (Wroclaw Univ., Poland)
- Kostas Chatzikokolakis (Ecole Polytechnique, CNRS, France)
- Dave Clarke (Catholic Univ. of Leuven, Belgium)
- Philippa Gardner (Imperial College, UK)
- Sebastian Hack (Univ. of Saarland, Germany)
- Suresh Jagannathan (Purdue Univ., USA)
- Somesh Jha (Univ. of Wisconsin, USA)
- Patrick Lam (Univ. of Waterloo, Canada)
- Isabella Mastroeni (Univ. of Verona, Italy)
- Matthew Might (Univ. of Utah, USA)
- David Monniaux (Verimag, France)
- Anders Møller (Univ. of Aarhus, Denmark)
- Flemming Nielson (Technical Univ. of Denmark)
- German Puebla (Polytechn. Univ. of Madrid, Spain)
- Sylvie Putot (CEA, France)
- Sriram Rajamani (Microsoft Research, India)
- Noam Rinetzky (Queen Mary, Univ. of London, USA)
- Xavier Rival (ENS, France)
- Christian Schallhart (Univ. of Oxford, UK)
- David A. Schmidt (Kansas State Univ., USA)
- Harald Sondergaard (Univ. of Melbourne, Australia)
- Ian Stark (Univ. of Edinburgh, UK)
- Elena Zucca (Univ. of Genova, Italy)
Steering Committee
Chair: Helmut Seidl,
Germany
|
|
|
|
|
|
- Hanne Riis Nielson
Denmark
|
|
|
|
|
- Doaitse Swierstra
The Netherlands
|
|