ESOP 2002 - European Symposium on Programming

CONFERENCE DESCRIPTION

ESOP is an annual conference devoted to the design, specification and analysis of programming languages and programming systems. The scope of the conference includes both practical and theoretical studies. Papers showing the application of programming language research results to practical problems are particularly encouraged. Possible topics for ESOP submissions include, but are not limited to:

Papers pointing out new directions or combining theory and practice are particularly encouraged.

Programme Committee

Chairman

Daniel Le Métayer (France), esop2002@trusted-logic.fr

Invited Speaker

Greg Morrisett, Cornell University, USA

Further Information

http://www.trusted-logic.fr/esop2002