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 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.
Daniel Le Métayer (France), email@example.com
Greg Morrisett, Cornell University, USA