<HTML>

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
<HTML>
E S O P

European Symposium on Programming

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

Organisation: ESOP is organised as part of the ETAPS cluster of conferences taking place in Europe each spring. It is sponsored by EAPLS and is organised in coorperation with ACM Sigplan . The ESOP Steering Committee gives year-to-year continuity to the conference.

Future and past ESOP conferences

2003 PC chair: Pierpaolo Degano

2004 PC chair: David Schmidt

The ESOP proceedings are published in the Lecture Notes in Computer Science series by Springer-Verlag:

ESOP 86: SLNCS vol 213 (Eds. Bernard Robinet, Reinhard Wilhelm).
ESOP 88: SLNCS vol 300 (Ed. Harald Ganzinger).
ESOP 90: SLNCS vol 432 (Ed. Neil D. Jones).
ESOP 92: SLNCS vol 582 (Ed. Bernd Krieg-Brückner).
ESOP 94: SLNCS vol 788 (Ed. Don Sannella).
ESOP 96: SLNCS vol 1058 (Ed. Hanne Riis Nielson).
ESOP 98: SLNCS vol 1381 (Ed. Chris Hankin).
ESOP 99: SLNCS vol 1576 (Ed. Doaitse Swierstra).
ESOP 00: SLNCS vol 1782 (Ed. Gert Smolka).
ESOP 01: SLNCS vol 2028 (Ed. David Sands).
ESOP 02: SLNCS vol 2305 (Ed. Daniel LeMetayer).

Selected papers have be published in special issues of journals:

Selected papers of ESOP 88: Theoretical Computer Science, vol 73 no 2, 1990.
Selected papers of ESOP 90: Science of Computer Programming, vol 17, 1991.
Selected papers of ESOP 92: Science of Computer Programming, vol 22 no 3, 1994.
Selected papers of ESOP 94: Science of Computer Programming, vol 25 no 2/3, 1996.
Selected papers of ESOP 96: Science of Computer Programming, vol 32 no 1/3, 1998.
Selected papers of ESOP 98: Nordic Journal of Computing, vol 5 no 4, 1998.
Selected papers of ESOP 00: Nordic Journal of Computing, vol 7 no 4, 2000.

ESOP Steering Committee

The main duties of the ESOP steering committee are

to cherish the conference and take whatever actions necessary to keep it strong and healthy; this includes taking decisions on the orientations of future ESOP conferences;
to maintain the ties to EAPLS and other relevant organisations; this includes delegation of ESOP representatives in the ETAPS steering committee;
to report on ESOP developments to an ``ESOP public'' through appropriate means; and
to appoint future ESOP chairpersons and offer advice to him/her on various issues.

The ESOP steering committee currently consists of the following members:

Pierpaolo Degano, Italy
Harald Ganzinger, Germany
Chris Hankin, U.K.
Neil Jones, Denmark
Daniel Le Metayer, France
Alan Mycroft, U.K.
Hanne Riis Nielson, Denmark (chair)
Bengt Nordström, Sweden
David Sands, Sweden
David Schmidt, USA
Gert Smolka, Germany
Doaitse Swierstra, The Netherlands
Reinhard Wilhelm, Germany

The ESOP steering committee delegates three members to the ETAPS steering committee; they are the current PC chair, the future PC chair and the SC chair.