ESOP 2001 - European Symposium On Programming

Conference Description

Conference Home page

ESOP is an annual conference devoted to the design, specification and analysis of programming languages and programming systems. The scope includes both practical and theoretical studies, and papers combining theory and practice are particularly encouraged. Possible topics for ESOP submissions include, but are not limited to:

• Programming paradigms (including functional, logic, concurrent and object-oriented) and their integration;
• Semantics with applications to the development of correct, secure and efficient software and systems;
• Advanced type systems, program analysis, program transformation.

Program committee

• Martin Abadi (Bell Labs, USA) abadi@research.bell-labs.com
• Radhia Cousot (CNRS & Ècôle Polytechnique, France) radhia@lix.polytechnique.fr
• Mads Dam (KTH Kista, Sweden) mfd@sics.se
• Andrew D. Gordon (Microsoft Research, UK) adg@microsoft.com
• Robert Harper (CMU Pittsburgh, USA) rwh@cs.cmu.edu
• Nevin Heintze (Bell Labs, USA) nch@research.bell-labs.com
• Daniel Le Métayer (IRISA/INRIA Rennes, France & Trusted Logic Versailles, France) Daniel.Le_Metayer@trusted-logic.fr
• Florence Maraninchi (Grenoble I/Verimag, France) Florence.Maraninchi@imag.fr
• Catuscia Palamidessi (Penn State, USA) catuscia@cse.psu.edu
• Mooly Sagiv (Tel-Aviv University, Israel) sagiv@math.tau.ac.il
• David Sands CHAIR (Chalmers and Göteborg University, Sweden) dave@cs.chalmers.se
• Peter Sestoft (KVL, Denmark) sestoft@dina.kvl.dk
• Harald Søndergaard (The University of Melbourne, Australia) harald@cs.mu.OZ.AU

Chair

Invited Speaker