Atlas home || Conferences | Abstracts | about Atlas
Host: Technical University of Berlin
Homepage: http://www.ps.uni-sb.de/~esop2000/
Organizers: Gert Smolka
Deadline for abstracts: October 18, 1999
Description:
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.
Speakers: Martin Odersky (EPF Lausanne, Switzerland)
Date received: September 10, 1999
© 2008 Atlas Conferences Inc.