ESOP 2004: The European Symposium on Programming

Barcelona, Spain, March 29-April 2, 2004

Affiliated with ETAPS'04

Updates

15 December: list of accepted papers

22 January: The ETAPS/ESOP program is here.

ETAPS/ESOP registration information is posted at http://www.lsi.upc.es/etaps04.

You can register for ETAPS/ESOP at http://www.tilesa.es/etaps2004/.

2 March: Springer has created these web sites for the proceedings: http://www.springeronline.com/3-540-21313-9 and http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2986&issue=preprint

Conference Description

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 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, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

More information about ESOP can be found at ESOP's home page.

ESOP'04 is one of the main conferences of ETAPS'04.

Important Dates

October 17, 2003	Submission deadline
December 12, 2003	Notification of acceptance/rejection
January 9, 2004	Camera-ready version due
March 29-April 2, 2004	ESOP 2004 and ETAPS 2004 main conferences

Authors who anticipate possible last-minute delays in the submission of a full paper are encouraged to submit a title and abstract in advance of the deadline --- contact the Program Committee chair for further information.

Submission Information

Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden.

Papers should be submitted electronically either in PostScript or PDF file-format.

Submissions in the format of any specific text processing system such as Latex, MS-Word, Adobe-Framemaker, or any other proprietory format cannot be accepted. Submissions should be sent to the following URL:

http://sttt.cs.uni-dortmund.de:80/esop04/servlet/Conference

The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be no more than 15 pages long in the format specified by Springer-Verlag at the URL:

http://www.springer.de/comp/lncs/authors.html

It is recommended that submissions adhere to the specified format and length. Submissions that are clearly too long may be rejected immediately. E-mail addresses and fax numbers of the authors should be included on the title page.

Program Committee

Chair: David Schmidt (Kansas State University, USA) mail: schmidt@cis.ksu.edu

Invited Speaker

Peter O'Hearn (Queen Mary, University of London)

For any questions, mail us.
Last modified: 15 December 2003.