The Coq mailing list

[jan.kofron AT d3s.mff.cuni.cz]

*******************************************************************************

                                ESOP 2025
                 34rd European Symposium on Programming
                     Hamilton, Canada, 5–8 May 2025 

                             Call for Papers
                             
*******************************************************************************


What is new in 2025?
====================

ESOP features two submission rounds in 2025.
ESOP introduces an optional journal-first channel on round 1.


Scope
=====

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

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.


Important Dates - ESOP
======================

ESOP 2025 features a two-round submission scheme.
Round 1:

    Submission deadline: May 30, 2024
    Rebuttal: July 23-25, 2024
    Notification: August 8, 2024

Round 2:

    Submission deadline: October 10, 2024
    Rebuttal: December 3-5, 2024
    Notification: December 19, 2024


Important Dates - ETAPS
=======================

    Submission deadline for TACAS, FoSSaCS, FASE: 10 October 2024, 23:59 AoE
    TACAS mandatory artifact submission deadline: 24 October 2024
    Rebuttal (ESOP, FoSSaCS, partially TACAS): Tuesday 3 December - 
      Thursday 5 December 2024
    Paper notification and TACAS mandatory artifact notification: 
      20 December 2024
    ESOP, FASE, FoSSaCS artifact, TACAS voluntary artifact submission 
deadline:
      9 January 2025
    Artifact notification ESOP, FASE, FoSSaCS, TACAS (voluntary artifacts):
      13 February 2025
    Main Conference: 5–8 May 2025


Submission Categories
=====================

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).

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: https://esop25.mpi-sws.org/


Paper Submission And Evaluation
===============================

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).

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.


Artifact Evaluation
===================

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.


Program Committee
=================

PC Chair:
    Viktor Vafeiadis (Max Planck Institute for Software Systems, 
Kaiserslautern)

PC Members:
    Kazuyuki Asada (Tohoku University)
    Dariusz Biernacki (University of Wrocław)
    Laura Bocchi (University of Kent)
    James Cheney (University of Edinburgh)
    Brijesh Dongol (University of Surrey)
    Jana Dunfield (Queen’s University at Kingston)
    Javier Esparza (Technical University of Munich)
    Simon Fowler (University of Glasgow)
    Jacques-Henri Jourdan (CNRS)
    Burcu Kulahcioglu Ozkan (Delft University of Technology)
    Hongjin Liang (Nanjing University)
    Umang Mathur (National University of Singapore)
    Peter Müller (ETH Zürich)
    David Pichardie (Meta)
    Jean Pichon (Aarhus University)
    Noam Rinetzky (Tel Aviv University)
    Amr Sabry (Indiana University)
    Michael Sammler (ETH Zürich)
    Sam Staton (Oxford)
    Milijana Surbatovich (University of Maryland College Park)
    Niki Vazou (IMDEA Software Institute)
    Tobias Wrigstad (Uppsala University)


Journal-First Submissions
=========================

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.


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 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.