ESOP 2000 - European Symposium on Programming


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


Gert Smolka, chair, UdS, Saarbrücken, Germany

Invited Speaker

Martin Odersky, EPF Lausanne, Switzerland