34th European Symposium on Programming
ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas:
Contributions bridging the gap between theory and practice are particularly welcome.
ESOP 2025 features a two-round submission scheme.
The important dates are available in the Joint Call for Papers.
ESOP 2025 solicits three forms of contributions:
Research Papers are articles that advance the state-of-the-art on the theory and practice of programming languages and systems.
For the sake of flexibility, 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.
Experience Reports are 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. Submitted and camera-ready experience report papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography).
Fresh Perspectives are 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. Submitted and camera-ready fresh perspective papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography).
The paper review process will be double-blind. Authors must make a good faith effort to anonymize their submissions, and they should not identify themselves either explicitly or by implication (e.g., through the references or acknowledgments).
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.
We welcome paper submissions at both submission rounds. Submissions of each round will be reviewed by the PC and external reviewers for their technical soundness and originality.
Round 1 submissions will receive one of three outcomes: Accept, Reject, Revise. In the latter case, the PC will provide a concrete list of revision requests to be completed by the Round 2 submission deadline. Such revised submissions will be reviewed by the same set of reviewers and will either be accepted or rejected. Rejected Round 1 submissions may NOT be resubmitted to Round 2.
Papers submitted directly to Round 2 will either be accepted or rejected.
ESOP 2025 will have a post-paper-acceptance voluntary artifact evaluation. Authors will be encouraged to submit artifacts for evaluation after paper notification. The outcome will not alter the paper acceptance decision. Note: artifacts may be submitted with an accompanying short 5-page experience report (including 1-page bibliography), that will appear in the conference proceedings.
Detailed information can be found here.
ESOP research papers submitted by the round 1 deadline are eligible to the Journal First channel, if marked so at submission time. The requirements of TOPLAS apply to these submissions. Accepted Journal First papers will appear in the ESOP proceedings as a 3-page extended abstract (excluding bibliography), will be presented at the conference, and published at TOPLAS. ESOP Journal First submissions will be reviewed by the ESOP PC, with an additional review coordinated with TOPLAS. After submission, Journal-First papers will not be allowed to switch to a different paper category; yet the ESOP PC reserves the right to treat a Journal-First submission as a regular ESOP submission, in which case, the paper will be eligible for the Journal-After publication scheme.
Revised and expanded versions of accepted ESOP research papers are eligible for the ESOP Journal-After TOPLAS channel. A call will open in January at a predefined date after the ESOP notification, and to which all accepted papers may apply. A first light review round will be performed by the ESOP PC, to reach Reject or Revise decisions. Papers with Revise decisions will proceed to a second thorough review round, in which additional reviews will be coordinated with TOPLAS, towards a final Reject or Accept decision.