26th European Symposium on Programming (ESOP 2017)

Uppsala, Sweden

April 22-29, 2017

Call for Papers :

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Topic of Interest :

• Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific languages, synchronous and real-time programming languages;
• Methods and tools to write and specify programs and languages: programming techniques, logical foundations, denotational semantics, operational semantics, meta programming, module systems, language-based security;
• Methods and tools for reasoning about programs: type systems, abstract interpretation, program verification, testing;
• Methods and tools for implementation: program transformations, rewriting systems, partial evaluation, experimental evaluations, virtual machines, intermediate languages, run-time environments;
• Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages.

Important Date

Abstracts due : October 14,2016

Papers due : October 21, 2016

Rebuttal : December 7-9, 2016

Author notification : December 22,2016

Camera-ready versions : January 20, 2017

User Name : jerish
Posted 13-10-2016 on 10:25:07 AEDT

Related CFPs

NECO 2025   14th International Conference of Networks and Communications
DMAP 2026   12th International Conference on Data Mining and Applications
NLAICSE 2025   2nd International Conference on NLP, AI, Computer Science & Engineering
AIAA 2025   15th International Conference on Artificial Intelligence, Soft Computing and Applications