ESOP 2026: Call for Papers

The 35th European Symposium on Programming (ESOP 2026) will be held as part of ETAPS 2026 in Turin, Italy, April 11–16, 2026.

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

Scope

ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas:

• programming paradigms and styles
• methods and tools to specify and reason about programs and languages
• programming language foundations
• methods and tools for implementation, concurrency and distribution
• applications and emerging topics

Contributions bridging the gap between theory and practice are particularly welcome.

Submission Categories

ESOP 2026 solicits three forms of contributions:

• Research Papers: Articles that advance the state-of-the-art on the theory and practice of programming languages and systems.
• Experience Reports: Articles reporting on systems and techniques developed in practice, such as artifacts, tools, mechanized proofs, and educational systems, both in academic and industrial settings. These articles must include a critical evaluation of the experience reported.
• Fresh Perspectives: Articles that promote new insights on programming languages and systems in a particularly elegant way. These papers may offer new tutorial perspectives of known concepts, or they may introduce fresh new insights and ideas that could lead to relevant future developments.

Submission Instructions

The paper review process will be double-blind. Authors must make a good faith effort to anonymize their submissions.

Submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format. There is no page limit for submissions, but authors should be aware that reviewers are likely to balance the review time for all papers and that camera-ready papers may not exceed 25 pages (excluding bibliography) and must be formatted in Springer’s LNCS.

Submitted and camera-ready experience report papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography).

Submitted and camera-ready fresh perspective papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography).

Accepted papers will be published in Springer’s Lecture Notes in Computer Science series. Springer’s formatting style files and other information can be found on the Springer website.

The papers can be submitted here.

Important Dates

ESOP 2026 features a two-round submission scheme.

Round 1:

• Submission deadline: June 3, 2025
• Rebuttal: July 21-23, 2025
• Notification: August 1, 2025

Round 2:

• Submission deadline: October 16, 2025
• Rebuttal: December 8-10, 2025
• Notification: December 22, 2025

Please note that the deadlines are firm and will not be extended!

Artifact Evaluation

ESOP 2026 will have a post-paper-acceptance voluntary artifact evaluation.

Detailed information will be announced later.

Journal-First Submissions

We welcome research papers submitted via a Journal-First channel at TOPLAS.

Journal-After Submissions

Revised and expanded versions of accepted ESOP research papers are eligible for the ESOP Journal-After TOPLAS channel. A call will open in January after the ESOP notification.

Program Committee

• PC Chair: Robbert Krebbers (Radboud University Nijmegen, Netherlands)
• PC Members:
  • Alasdair Armstrong (University of Cambridge, UK)
  • Aslan Askarov (Aarhus University, Denmark)
  • Mohamed Faouzi Atig (Uppsala University, Sweden)
  • Andrej Bauer (University of Ljubljana, Slovenia)
  • Veronique Benzaken (LMF Université Paris-Saclay, France)
  • Małgorzata Biernacka (University of Wrocław, Poland)
  • Liang-Ting Chen (Academia Sinica, Taiwan)
  • Raphaëlle Crubillé (Aix Marseille Univ, CNRS, LIS, France)
  • Deepak D'Souza (Indian Institute of Science, India)
  • Ankush Das (Boston University, USA)
  • Farzaneh Derakhshan (Illinois Institute of Technology, USA)
  • Emanuele D’Osualdo (University of Konstanz, Germany)
  • Paulo Emílio de Vilhena (Imperial College London, UK)
  • Francesco Gavazzo (University of Padua, Italy)
  • Justin Hsu (Cornell University, USA)
  • Ambrus Kaposi (Eötvös Loránd University, Hungary)
  • Sven Keidel (TU Darmstadt, Germany)
  • Ori Lahav (Tel Aviv University, Israel)
  • Christoph Matheja (University of Oldenburg and DTU Compute, Germany)
  • Andreia Mordido (LASIGE, University of Lisbon, Portugal)
  • Christopher Pulte (University of Cambridge, UK)
  • Jorge A. Pérez (University of Groningen, Netherlands)
  • Ryosuke Sato (Tokyo University of Agriculture and Technology, Japan)
  • Ilya Sergey (National University of Singapore, Singapore)
  • Kathrin Stark (Heriot-Watt University, UK)
  • Bernardo Toninho (NOVA FCT and NOVA LINCS, Portugal)
  • Jana Wagemaker (Radboud University Nijmegen, Netherlands)
  • John Wickerson (Imperial College London, UK)
  • Fabio Zanasi (University College London, UK)