ESOP 2000 - European Symposium on Programming

CONFERENCE DESCRIPTION

Programme

ESOP is an annual conference devoted to the design, specification and analysis of programming languages and programming systems. Both practical and theoretical papers are welcome. Possible topics include: Programming paradigms and their integration, including concurrent, functional, logic and object-oriented; computational calculi and semantics; type systems, program analysis and concomitant constraint systems; program transformation; programming environments and tools. Papers pointing out new directions or combining theory and practice are particularly encouraged.

Program committee

• Gerard Boudol, INRIA, Sophia-Antipolis, France, gbo@sophia.inria.fr
• Sophia Drossopoulou, Imperial College, London, UK, sd@doc.ic.ac.uk
• Matthias Felleisen, Rice University, Houston, US, matthias@cs.rice.edu
• Michael Franz, UC Irvine, US, franz@ics.uci.edu
• Manuel Hermenegildo, TU Madrid, Spain, herme@fi.upm.es
• Xavier Leroy, INRIA Rocquencourt, France, Xavier.Leroy@inria.fr
• Alan Mycroft, Cambridge University, UK, Alan.Mycroft@cl.cam.ac.uk
• Martin Odersky, EPF Lausanne, Switzerland, odersky@cs.unisa.edu.au
• Andreas Podelski, MPI, Saarbrücken, Germany, podelski@mpi-sb.mpg.de
• Gert Smolka, chair, UdS, Saarbrücken, Germany, smolka@ps.uni-sb.de
• Peter Thiemann, Uni Freiburg, Germany, thiemann@informatik.uni-freiburg.de
• Mads Tofte, Uni Copenhagen, Denmark, tofte@diku.dk
• Pascal van Hentenryck, Uni Louvain, Belgium, pvh@cs.brown.edu

Chairman

Invited Speaker