[TYPES/announce] ESOP 2024: Call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** 2nd CALL FOR PAPERS 33rd European Symposium on Programming ESOP 2024 organized within ETAPS 2024 Luxembourg City, Luxembourg, 6-11 April 2024 *** NEW! Papers submitted in the Research Papers category may use any formatting and have no fixed page limit. NEW! ESOP 2024 will incorporate a new streamlined "journal-after" publication model, leading to publication in the journal TOPLAS. NEW! Accepted artifacts may include a five page description that will appear in the ESOP 2024 proceedings. NEW! In addition to Research Papers, ESOP 2024 solicits two new forms of contributions: Experience Reports and Fresh Perspectives Important Dates AoE (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 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). Springer's formatting style files and other information can be found on the Springer website: https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!QRxhxvI1Aw5d3ItzC2KlHyLIyuSLob42JjKrsG3_51jyAc0TEldN2wL38BIYGMS53azGHcmfhFM8aWMI2mz_GJCuObyR9sExg3qH-A$ 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://urldefense.com/v3/__https://easychair.org/conferences/?conf=esop2024__;!!IBzWLUs!QRxhxvI1Aw5d3ItzC2KlHyLIyuSLob42JjKrsG3_51jyAc0TEldN2wL38BIYGMS53azGHcmfhFM8aWMI2mz_GJCuObyR9sGMQMeBiQ$ 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
[TYPES/announce] ESOP 2024 Call For Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** 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 Dates AoE (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 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). Springer's formatting style files and other information can be found on the Springer website: 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://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