[TYPES/announce] ESOP 25: NEWS in CFP and ROUND 1 deadline approaching *** May 30, 2024 ***

[Luís Caires]

[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,

We would like to call the attention of the PL community for the
following novelties at ESOP 2025.

TWO submission rounds:

NEW: Round 1 deadline approaching *** May 30, 2024 ***

NEW: Round 1 optional TOPLAS "journal-first" channel

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.

NEW: submissions categories (already offered at ESOP 2024) and free
format for research paper submission.

** Research Papers

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 in 
Springer’s LNCS.

** Experience Reports

Articles reporting on systems and techniques developed in practice, such 
as
artifacts, tools, mechanized proofs, or educational systems, both in
academic and industrial settings.

** Fresh Perspectives

Papers that promote new insights on programming languages and systems in
a particularly elegant way.

NEW: ETAPS 2025 at Hamilton, Canada

Notice that in 2025 ETAPS will take place outside Europe for the
first time.

All details in the CFP for details: 
https://urldefense.com/v3/__https://etaps.org/2025/conferences/esop/__;!!IBzWLUs!Xsm2o2UHG7iZ9b1io2qrr2rKVJDMt1p-pNLg-h4S4NrCdEfeLD4DkVKpC8zRb5aiLGXgGfHyLI5Rwfc2-Z14o9vuRHx8lkHGZ5z_BDrgDUc7$ 

Thanks to all