ESOP 2001 - 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 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:

Program committee


David Sands
Chalmers and Göteborg University
Department of Computing Science
S-412 96 Göteborg

Invited Speaker

John Mitchell, Stanford University (USA)