ESOP 2003

ESOP 2003 - European Symposium on Programming

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
studies of 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.
A Special Issue of the Journal of Science of Computer Programming will be devoted to selected papers from the conference.

More informations about ESOP can be found at ESOP home.

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

Conference Programme and Registration

ESOP 2003 (April, 9-11)
Proceedings
Satellite Event: WITS (April, 5-6)
ETAPS General Conference (April 5-11)

Registration Page

Programme Committee

Patrick Cousot (France)
Pierpaolo Degano (Italy) (chair)
Mariangiola Dezani-Ciancaglini (Italy)
Cedric Fournet (UK)
Joshua Guttman (USA)
John Hughes (Sweden)
John Mitchell (USA)
Alan Mycroft (UK)
Oscar Nierstrasz (Switzerland)
Catuscia Palamidessi (INRIA, Paris and Penn State U)
Hanne Riis Nielson (Denmark)
David Schmidt (USA)
Helmut Seidl (Germany)
Perdita Stevens (UK)

Chair

Pierpaolo Degano (Pisa, Italy) (mail: ESOP03@di.unipi.it)

Invited Speaker

Catherine Meadows (Naval Research Laboratory, USA)

Important Dates

October 25, 2002	Submission deadline
December 13, 2002	Notification of acceptance/rejection
January 17, 2003	Camera-ready version due
April 7 - 11, 2003	ETAPS 2003 main conferences

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.

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 at the following URL:

Go to Submission Page

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 that 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.

For any questions, mail us.
Last modified: March, 12 2002.