ESOP 2004: The European Symposium on ProgrammingBarcelona, Spain, March 29-April 2, 2004
Affiliated with ETAPS'04
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
ESOP is an annual conference devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems. This includes:
More information about ESOP can be found at ESOP's home page.
ESOP'04 is one of the main conferences of
|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|
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:
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:
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.
Peter O'Hearn (Queen Mary, University of London)