ESOP 2002 - 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 of the conference includes both practical and theoretical studies. Papers showing the application of programming language research results to practical problems are particularly encouraged. Possible topics for ESOP submissions include, but are not limited to:

• Advanced type systems.

• Program analysis.

• Program transformation, specialization.

• Semantics with applications to the development of correct, secure and efficient software and systems.

• Domain specific languages.

• Programming language based techniques for development, analysis, verification, validation, etc.

• Programming language solutions to practical issues in security, safety, real-time and embedded computing.

• Programming paradigms (including object-oriented, functional, logic, concurrent, mobile, aspect-oriented) and their relevance to practical problems

Papers pointing out new directions or combining theory and practice are particularly encouraged.

Programme Committee

• Charles Consel (Labri/Enserb, France)
• Roberto Gorrieri (University of Bologna)
• Pieter Hartel (University of Twente, The Netherlands)
• Thomas Jensen (Irisa/CNRS, France)
• Julia Lawall (DIKU, Denmark)
• Daniel Le Métayer, chair (Trusted Logic, France)
• Florence Maraninchi (INPG/Verimag, France)
• John Mitchell (Stanford University, USA)
• Joachim Posegga (SAP AG, Germany)
• Didier Remy (Inria-Rocquencourt, France)
• Mooly Sagiv (Tel-Aviv University, Israel)
• David Sands (Chalmers and Göteborg University, Sweden)
• David Schmidt (Kansas State University, USA)
• Jan Vitek (Purdue University, USA)
• Dennis Volpano (Naval Postgraduate School, USA

Chairman

Daniel Le Métayer (France), esop2002@trusted-logic.fr

Invited Speaker

Greg Morrisett, Cornell University, USA

Further Information

http://www.trusted-logic.fr/esop2002