[Agda] ESOP 2024 Call For Papers

[Ana Bove]

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


                              CALL FOR PAPERS



               33rd European Symposium on Programming



                                    ESOP 2024



                                 organized within



                                    ETAPS 2024



              Luxembourg City, Luxembourg, 6-11 April 2024


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


NEW! In addition to Research Papers, ESOP 2024 solicits two new forms of 
contributions: Experience Reports and Fresh Perspectives

NEW! Papers submitted in the Research Papers category may use any 
formatting and have no fixed page limit.


Important DatesAoE (UTC-12)

- Paper submission: October 12, 2023

- Rebuttal: Tuesday 5 December - Thursday 7 December, 2023

- Paper notification: December 21, 2023

- Artifact submission: January 4, 2024

- Paper final version: January 23, 2024

- Artifact notification: February 8, 2024


Scope
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: 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

Research Papersare 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 Reportsare 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 Perspectivesare 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).

Springer's formatting style files and other information can be found on 
the Springer website:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines 
<https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!WxelcaLRaWRT0XfMTrxAsb3qBKhaE-xT4tQwLy6kwsBLSQlLvsOJq8kYBcXooknSJA44-d3IjbMi9JuJbq7Z4AyHCUVxY3DxmdrFxw$>


Review Process
The review process is double-blind with a rebuttal phase. In submitted 
papers, authors should omit names and institutions; refer to prior work 
in the third person; and should not include acknowledgements that might 
reveal their identity.
During the evaluation period authors are free to speak publicly about 
their work and distribute preprints of their submitted papers. However, 
authors should avoid actions that would reveal their identities, such as 
directly contacting PC members.


Submission link: https://easychair.org/conferences/?conf=esop2024 
<https://urldefense.com/v3/__https://easychair.org/conferences/?conf=esop2024__;!!IBzWLUs!WxelcaLRaWRT0XfMTrxAsb3qBKhaE-xT4tQwLy6kwsBLSQlLvsOJq8kYBcXooknSJA44-d3IjbMi9JuJbq7Z4AyHCUVxY3DT_xcEDw$>
Accepted papers will be published in Springer's Lecture Notes in 
Computer Science series.


Artifact Evaluation
ESOP 2024 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.

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.


Program Chair

Stephanie Weirich (University of Pennsylvania)


Program Committee

Ana Bove, Chalmers, Sweden

Loris D'Antoni, U Wisconsin-Madison, USA

Ugo Dal Lago, Bologna, Italy

Ornela Dardha, Glasgow, UK

Mike Dodds, Galois, USA

Sophia Drossopoulou, Imperial, UK

Robert Findler, Northwestern, USA

Amir Goharshady, HKUST, Hong Kong

Andrew Gordon, Microsoft, UK

Alexey Gotsman, IMDEA Software Institute, Spain

Limin Jia, Carnegie Mellon University, USA

Josh Ko, Academia Sinica, Taiwan

András Kovács, Eötvös Loránd University, Hungary

Kazutaka Matsuda, Tohoku University, Japan

Anders Miltner, Simon Fraser, Canada

Santosh Nagarakatte, Rutgers University, USA

Dominic Orchard, University Kent and Cambridge, UK

Frank Pfenning, Carnegie Mellon University, USA

Clément Pit-Claudel, EPFL, Switzerland

François Pottier, INRIA Paris, France

Matija Pretnar, U Ljubljana, Slovenia

Azalea Raad, Imperial College London, UK

James Riely, DePaul, USA

Tom Schrijvers, KU Leuven, Belgium

Peter Sewell, Cambridge, UK

Takeshi Tsukada, Chiba University, Japan

Benoît Valiron, Centrale Supélec and Paris Saclay, France

Dimitrios Vytiniotis, DeepMind, UK

Elena Zucca, DIBRIS - University of Genova, Italy


Steering Committee

Luis Caires (Universidade Nova de Lisboa)

Brigitte Pientka (McGill University)

Ilya Sergey (National University of Singapore)

Stephanie Weirich (University of Pennsylvania)

Thomas Wies (New York University)

Nobuko Yoshida (Imperial College London)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230922/23e36199/attachment-0001.html>