[Caml-list] PERR 2026 @ CAV/FLOC: Call for Participation

======================================================================

                        CALL FOR PARTICIPATION

       6th Workshop on Program Equivalence and Relational Reasoning

                24 July 2026 at ISCTE campus, Lisbon, Portugal

                  associated with CAV 2026 at FLOC 2026

                   https://perr-workshop.github.io/2026

======================================================================

PERR is an annual international workshop dedicated to the formal verification of program equivalence and related relational problems. It is the 6th in a series of meetings that bring together researchers from different areas interested in equivalence and related questions. PERR 2026 will be a workshop at FLOC 2026, and a satellite event to CAV 2026.

REGISTRATION

You can register for PERR 2026 here:

https://www.floc26.org/registration

INVITED TALKS

- Cynthia Kop, Radboud Univeristy Nijmegen

- Thibault Dardinier, New York University

ACCEPTED PAPERS

- Differential Verification of Neural Networks: Theory and Applications by Samuel Teuber and Philipp Kern

- Interaction Equivalence by Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto and Gabriele Vanoni

- Process Equivalence Checking as Abstract Interpretation by Benjamin Bisping

- Proving Program Equivalence in Dafny by Nathaniel Victor, Dragana Milovancevic and Sophia Drossopoulou

- Refuting Equivalence in Probabilistic Programs with Conditioning by Krishnendu Chatterjee, Ehsan - Kafshdar Goharshady, Petr Novotný and Đorđe Žikelić

- Semantic Foundations for the Static Analysis of Program Revisions by Dakota Bryan and Bor-Yuh Evan Chang

- Semantically Descriptive Similarity by Oskar Hovmøller Dinesen and Christian Gram Kalhauge

PROGRAM COMMITTEE

Dragana Milovancevic (Co-chair), Imperial College London, UK

Mattias Ulbrich (Co-chair), Karlsruhe Institute of Technology, Germany

Andrzej Murawski, University of Oxford, UK

Carsten Fuhs, Birkbeck University of London, UK

Denys Shabalin, Google, Switzerland

Nikos Tzevelekos, Queen Mary University of London, UK

Ofer Strichman, Technion, Israel

Soumyadip Bandyopadhyay, ABB Corporate Research, India

Vasileios Koutavas, Trinity College Dublin, Ireland

[Caml-list] APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye)

APLAS is of broad interest to the programming languages and TYPES communities,
including students working on type systems, type theory, formal semantics,
program analysis, verification, and related areas.

CALL FOR PAPERS

APLAS 2026 Student Research Competition and Posters
Co-located with APLAS & ATVA 2026
December 1-5, 2026

The APLAS 2026 SRC and Posters track invites submissions for its Student
Research Competition (SRC) and Posters track. This track provides an
interactive forum for researchers, practitioners, and students to present
work in progress, early-stage research, fresh ideas, and recent practical
systems or tool developments.

The track has two categories:

1. Student Research Competition (SRC)
Open to undergraduate and graduate students. Entrants will present their
work during the poster session. Selected finalists will then give a
presentation to compete for first, second, and third-place prizes.

2. Posters
Open to non-students, or students who do not wish to compete in the SRC.
Authors will present their work alongside SRC entrants during the main
poster session.

Submissions should fall within the scope of APLAS, including programming
languages and related areas.

Important Dates, AoE (UTC-12h)

- Submission deadline for extended abstracts: August 22, 2026
- Notification: September 26, 2026
- Submission deadline for posters and revised extended abstracts: November 7, 2026

Submission information:

Extended abstracts should be formatted using the acmart LaTeX template with
the options sigplan and review enabled, be no longer than 3 pages excluding
bibliography, and be submitted in PDF format via EasyChair.

For SRC submissions, the student should be the sole author. However, on the
EasyChair submission, supervisors should be listed as authors after the
student, so that reviewers and judges can identify conflicts of interest.

CFP:
https://conf.researchr.org/track/aplas-atva-2026/aplas-2026-src-posters

Submission link:
https://easychair.org/my/conference?conf=aplas2026srcposters

[Caml-list] WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation

WPTE 2026 (affiliated with FLoC 2026 in Lisbon, Portugal) 12th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (19 July 2026) Webpage: https://wpte2026.github.io/ --------------------------------------------------------------------------- The aim of WPTE is to bring together researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. --------------------------------------------------------------------------- The workshop will have two invited talks, by: - Nada Amin, Harvard University - Nikos Tzevelekos, Queen Mary University of London (joint with GaLoP 2026) as well as six contributed presentations: - David B. Hulak, Arthur Freitas Ramos and Ruy J.G.B. de Queiroz: Sound Rewrites for Measurement-Bearing Expressions via Token-Sensitive Enclosure Semantics - Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Trace Formula Implication with Least and Greatest Fixpoints - David Sabel and Manfred Schmidt-Schauß: Improvement Theory for Probabilistic Call-by-Need - Misaki Kojima and Naoki Nishida: On Comparing Python Programs Based on Differences in Rewrite Sequences to Support Grading Programming Exercises - Katarzyna Marek and Clément Pit Claudel: Tactic-driven code fusion - Ștefan Ciobâcă, K. Rustan M. Leino, Ștefan-Alexandru Mercas and Roxana-Mihaela Timon: An Interactive Proof Mode for Dafny Based on Back Translation of Verification Obligations --------------------------------------------------------------------------- Program Committee --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Carsten Fuhs (co-chair), Birkbeck, University of London Jan-Christoph Kassing, RWTH Aachen University Thomas Kœhler, ICube Lab, CNRS, Université de Strasbourg Misaki Kojima, Nagoya University Rubén Rubio, Universidad Complutense de Madrid Traian Şerbănuţă, University of Bucharest Germán Vidal, Universitat Politècnica de València Janis Voigtländer (co-chair), University of Duisburg-Essen

[Caml-list] [CFP, Deadline Extension] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effect

Talk proposal deadline for HOPE 2026 is extended to Jun 12, 2026. Author notification will be on July 3, 2026. This year, the workshop will be co-located with ICFP'26 (Indiana, US) and FW'26 (Paris, France). ---------------------------------------------------------------------- HOPE 2026 The 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 24, 2026 (the day before ICFP 2026) https://icfp26.sigplan.org/home/hope-2026 HOPE 2026 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be*informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Taro Sekiyama (tsekiyama@acm.org) and Francesco Gavazzo (francesco.gavazzo@unipd.it). Important Note: HOPE’26 will be co-located with ICFP’26 (https://icfp26.sigplan.org/) and FW’26 (https://www.irif.fr/~scherer/events/fpw-2026/announce.html). Presenters can choose either event to attend in-person. We also encourage remote participation and will support remote presentations. Deadline for talk proposals (extended): Jun 12, 2026 (Friday) Notification of acceptance (extended): Jul 3, 2026 (Friday) Workshop: August 24, 2026, Indiana, United States & Paris, France The submission website is now open: https://hope26.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Yuyan Bao (Augusta University) Raphaëlle Crubillé (Aix-Marseille University) Francesco Dagnino (University of Genova) Elena di Lavore (University of Oxford) Francesco Gavazzo (University of Padua) Cristina Matache (University of Edinburgh) Ken Sakayori (The University of Tokyo) Taro Sekiyama (National Institute of Informatics) Dario Stein (Radboud University) Niels Voorneveld (Cybernetica) Zhixuan Yang (University of Exeter) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. -- Taro Sekiyama

[Caml-list] Summer School on Verification Technology, Systems & Applications

================================================================== First Call for Participation 14th International Summer School on Verification Technology, Systems & Applications http://www.mpi-inf.mpg.de/vtsa26/ The 18th edition of the Summer School on Verification Technology, Systems and Applications (VTSA) will be organized by the Max-Planck-Institute for Informatics Saarbruecken in cooperation with the University of Liege, Inria Nancy - Grand Est, and the University of Luxembourg. The school will take place from August 24 to August 28, 2026 on Saarland Informatics Campus, Saarbruecken, Germany. The following speakers have accepted to give courses at VTSA 2026: - Maria Paola Bonacina: Reasoning about Data Structures with CDSAT - Mathias Fleury: SAT Solving: 30 Years of CDCL, 20 Years of Proofs, 15 Years of Inprocessing, 3 Years of User Propagator - Mikoláš Janota: SMT Solving and Challenges and Opportunities - Cynthia Kop: Open-world Termination Analysis in a Small Functional Language - Christoph Scholl: Fully Automatic Formal Verification of Arithmetic Circuits Participation is free (except for travel and accommodation costs) and open to anybody holding at least a bachelor degree or equivalent in computer science. It includes the lectures, daily coffee breaks and lunches as well as a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to jmueller@mpi-inf.mpg.de: - a one-page CV, - an application letter explaining your interest in the school and your experience in the area, - a copy of your bachelor certificate (or equivalent or a more significant certificate), - a short statement if you want to contribute to the student sessions The deadline for application is July 5, 2026. Notification of acceptance will be given by July 10, 2026. Full details are available at http://www.mpi-inf.mpg.de/vtsa26/

[Caml-list] Attn: Development Editor, Latest OCaml Weekly News

OCaml Weekly News

Previous Week Up Next Week

Hello

Here is the latest OCaml Weekly News, for the week of May 19 to 26, 2026.

Table of Contents

• Dune 3.23
• Call for Presentations: ML Family Workshop 2026
• ocaml-halo 0.1 – Performance oriented HTTP 1.1 server built on top of libuv
• dead_code_analyzer 1.1.1 and 1.2.0
• Old CWN

Dune 3.23

Archive: https://discuss.ocaml.org/t/ann-dune-3-23/18055/5

Continuing this thread, Shon announced

The Dune team is pleased to announce the release of dune 3.23.1.

This is a patch release consisting of the following bug fixes.

If you encounter a problem with this release, please report it in our issue tracker.

Fixed

• Fix the menhir opam dependency injection introduced in 3.23. Dune now only fills in the lower bound {>= "20180523"} on an existing user-declared menhir dependency; it no longer adds menhir as a new dependency to packages that did not declare it themselves. (#14434, fixes #14428, @robinbb)
• Gate the dune version-bound deduplication in generated opam files (introduced in 3.23) on (lang dune 3.23). Projects at earlier lang versions get the prior And [...] shape — e.g. {>= "3.17" & >= "3.20"} — restoring 3.22 behaviour and avoiding a silent change to opam output on dune-binary upgrade. (#14436, @robinbb)
• Preserve library order when building a shared jsoo standalone runtime. (#14438, @vouillon)
• Fix the fallback to the secondary compiler, allowing recovering of support for packages with upper bounds on OCaml less than 4.14. Packages depending on dune 3.23.1 or later and with an upper bound on the OCaml compiler that is less than 4.14, will now be able to use the latest dune, but dune will be built with the secondary compiler at version 4.14. (#14443, @Alizter)
• Fix the bootstrap on NetBSD by including <sys/wait.h> in lev_stubs.c, matching the existing FreeBSD/OpenBSD guard. (#14512, fixes #14484, @0-wiz-0)

Call for Presentations: ML Family Workshop 2026

Archive: https://discuss.ocaml.org/t/call-for-presentations-ml-family-workshop-2026/18155/1

Benoît Montagu announced

Higher-order, Typed, Inferred, Strict: ML Family Workshop 2026

August 28, 2026

Indianapolis (Co-located with ICFP) + Paris (Co-located with FW'26)

Website: https://icfp26.sigplan.org/home/mlfamilyworkshop-2026

Submission Link: https://ml2026.hotcrp.com/

Submission Deadline: June 24, 2026, AoE

Call for Presentations

ML (originally, "Meta Language") is a family of programming languages that includes dialects known as Standard ML, OCaml, and F#, among others. The development of these languages has inspired a large amount of computer science research, both practical and theoretical.

The ML 2026 workshop will continue the informal approach followed since 2010. Presentations are selected by the program committee from submitted proposals. There are no published proceedings, so contributions may be submitted for publication elsewhere. The main criterion is promoting and informing the development of the entire extended ML family and delivering a lively workshop atmosphere. We particularly encourage talks about works in progress, presentations of negative results (things that were expected to but did not quite work out) and informed positions.

Each presentation should take 20-25 minutes. The exact time will be decided based on scheduling constraints.

Note: this year, the workshop will take place across two events: (1) co-located with ICFP’26, and (2) co-located with FW’26. We will have a single Program Committee to review submissions. Presenters can choose either event to attend in-person. We also encourage remote participation, and plan to facilitate remote presentations.

Scope

We seek presentations on topics including (but not limited to):

• Language design: abstraction, higher forms of polymorphism, concurrency and parallelism, distribution and mobility, staging, extensions for semi-structured data, generic programming, object systems, etc.
• Implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, foreign function interfaces, etc.
• Type systems: inference, effects, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc.
• Applications: case studies, experience reports, pearls, etc.
• Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc.
• Semantics of ML-family languages: operational and denotational semantics, program equivalence, parametricity, mechanization, etc.

We specifically encourage reporting what did not meet expectations or what, despite all efforts, did not work to satisfaction.

Four kinds of submissions are solicited: Research Presentations, Experience Reports, Demos, and Informed Positions.

• Research Presentations: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users.
• Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve.
• Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML and related languages. (You will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.)
• Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g., by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples.

Submission details

Submissions must be in the PDF format and have a short summary (abstract) at the beginning. Submissions in the categories of Experience Reports, Demos, or Informed Positions should indicate so in the title or subtitle. The point of the submission should be clear from its two first pages (PC members are not obligated to read any further.)

Submissions must be uploaded to the workshop submission website before the submission deadline.

Only the short summary/abstract of accepted submissions will be published on the conference website. After acceptance, authors will have the opportunity to attach or link to that summary any relevant material (such as the updated submission, slides, etc.)

Submission Website: https://ml2026.hotcrp.com/

Workshop Website: https://icfp26.sigplan.org/home/mlfamilyworkshop-2026

Dates and Deadlines

Submission Deadline: Wednesday, June 24 AoE

Initial Author Notification (most cases): Thursday, July 23

Final Author Notification (if needed): Thursday, July 30

Workshop Date: Friday, August 28

Program Committee

• Benoît Montagu (Inria, France)
• Gabriel Scherer (Inria, France)
• Sam Westrick (New York University, United States)
• Clément Blaudeau (Inria, France)
• Richard A. Eisenberg (Jane Street, United States)
• Kavon Farvardin (Apple, United States)
• Kiran Gopinathan (Basis, United States)
• Magnus Madsen (Aarhus University, Denmark)
• Alexandre Moine (New York University, United States)
• Dominic Orchard (University of Cambridge; University of Kent, United Kingdom)
• Lionel Parreaux (HKUST (The Hong Kong University of Science and Technology), Hong Kong SAR China)
• Gabriel Radanne (Inria, France)
• Takafumi Saikawa (Nagoya University, Japan)
• Milla Valnet (Sorbonne Université, France)
• Michael Vollmer (University of Kent, United Kingdom)
• Ningning Xie (University of Toronto, Canada)
• Yizhou Zhang (University of Waterloo, Canada)

Past Iterations

2025: https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025

2024: https://icfp24.sigplan.org/home/mlworkshop-2024

2023: https://icfp23.sigplan.org/home/mlworkshop-2023

2022: https://icfp22.sigplan.org/home/mlfamilyworkshop-2022

2021: https://icfp21.sigplan.org/home/mlfamilyworkshop-2021

More info: https://www.mlworkshop.org/home

Coordination with the OCaml Users and Developers Workshop

The OCaml workshop is seen as more practical and is dedicated in significant part to OCaml community building and the development of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research-oriented, and deals with general issues of ML-style programming and type systems. There is some overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the program chairs.

ocaml-halo 0.1 – Performance oriented HTTP 1.1 server built on top of libuv

Archive: https://discuss.ocaml.org/t/ann-ocaml-halo-0-1-performance-oriented-http-1-1-server-built-on-top-of-libuv/18161/1

Firgeis announced

Hi community, I'm happy to announce the first "alpha" release of ocaml-halo, a performance oriented Ocaml HTTP 1.1 server.

The main idea behind this server is keep the performance sensitive parts of an HTTP in C, leveraging Effects to ease the transition between the boundary of FFI and ocaml resolvers.

Features

• Full HTTP 1.1 spec
• SSL/TLS enabled
• Streaming
• Performance, currently on par with with Go frameworks like gin-gonic

dead_code_analyzer 1.1.1 and 1.2.0

Archive: https://discuss.ocaml.org/t/ann-dead-code-analyzer-1-1-1-and-1-2-0/18164/1

fantazio announced

Hello everyone,

I am happy to announce 2 releases of the dead_code_analyzer (available via opam) :

• Release 1.1.1 includes a number of bug fixes and strengthens semantics. It also improves the user documentation by describing each report section, their usage and limitations with examples. This release is compatible with OCaml 5.2.
• Release 1.2.0 is an update of 1.1.1, compatible with OCaml 5.3. The analyzer now takes .cmti and .cmt files as input instead of .cmi and .cmt. You may notice a larger memory consumption (more information available here).

I addition to these releases, a version compatible with OCaml 4.14 is available on my fork.

Thanks to the OCaml Software Foundation its funding!

If you encounter any issue with these releases, please report it on the github repository. Feedback and contributions are welcome.

Old CWN

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe to the caml-list.

Alan Schmitt

[Caml-list] [2nd CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects

********************************************************************** 2nd Call for Proposals - HOPE 2026 ********************************************************************** TL;DR: Talk proposal deadline for HOPE 2026 is on May 29, 2026. This year, the workshop will be co-located with ICFP'26 (Indiana, US) and FW'26 (Paris, France) ---------------------------------------------------------------------- HOPE 2026 The 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 24, 2026 (the day before ICFP 2026) https://icfp26.sigplan.org/home/hope-2026 HOPE 2026 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be*informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Taro Sekiyama (tsekiyama@acm.org) and Francesco Gavazzo (francesco.gavazzo@unipd.it). Important Note: HOPE’26 will be co-located with ICFP’26 (https://icfp26.sigplan.org/) and FW’26 (https://www.irif.fr/~scherer/events/fpw-2026/announce.html). Presenters can choose either event to attend in-person. We also encourage remote participation and will support remote presentations. Deadline for talk proposals: May 29, 2026 (Friday) Notification of acceptance: June 26, 2026 (Friday) Workshop: August 24, 2026, Indiana, United States & Paris, France (tentatively) The submission website is now open: https://hope26.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Yuyan Bao (Augusta University) Raphaëlle Crubillé (Aix-Marseille University) Francesco Dagnino (University of Genova) Elena di Lavore (University of Oxford) Francesco Gavazzo (University of Padua) Cristina Matache (University of Edinburgh) Ken Sakayori (The University of Tokyo) Taro Sekiyama (National Institute of Informatics) Dario Stein (Radboud University) Niels Voorneveld (Cybernetica) Zhixuan Yang (University of Exeter) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. -- Taro Sekiyama

[Caml-list] IFL 2026 First call for papers

======================================================================= IFL 2026 38th Symposium on Implementation and Application of Functional Languages venue: Aspenäs Herrgård, Gothenburg, Sweden October 28 - 30 2026 https://ifl26.cse.chalmers.se/ ======================================================================= ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2026 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. ### Topics of interest Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques ### Peer-review process Following IFL tradition, IFL 2026 will use a post-symposium review process for the formal proceedings. Authors are invited to submit draft papers before the symposium. The program chairs will screen submissions for relevance to IFL, and accepted drafts will be shared with all participants. Each accepted paper must be presented at the symposium by at least one author. If submissions exceed capacity, selection will be based on quality, maturity, and relevance. Authors of accepted presentations will have the opportunity to revise their work in response to symposium feedback and submit a full paper to the post-proceedings. These submissions will be reviewed by the program committee for correctness, novelty, originality, relevance, significance, and clarity. The post-symposium review process is single-blind, with at least three reviews per paper. Camera-ready versions may include minor revisions without further review. ### Important dates Submission of draft papers September 4, 2026 Draft papers notification September 11, 2026 Deadline for early registration September 18, 2026 Deadline for late registration September 25, 2026 IFL symposium October 28-30, 2026 Submission of papers for proceedings November 25, 2026 Notification of acceptance February 12, 2027 Camera-ready version March 12, 2027 Deadlines are end of day Anywhere on Earth (UTC-12). ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=ifl26 Important note to authors about the new ACM open access publishing model: ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance Further information: ICPS publishing model FAQ: https://www.acm.org/publications/icps/faq ACM Open program details: https://www.acm.org/publications/openaccess Questions: icps-info@acm.org ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: - Alex Gerdes, Chalmers and University of Gothenburg, Sweden - Koen Claessen, Chalmers and University of Gothenburg, Sweden Publicity Chair: - Mart Lubbers, Radboud University, The Netherlands Local Chairs: - Alex Gerdes, Chalmers and University of Gothenburg, Sweden - Koen Claessen, Chalmers and University of Gothenburg, Sweden Please direct any questions you may have towards alexg@chalmers.se. ### Program committee - Abhiroop Sarkar, ETH Zurich - Andres Löh, Well-Typed LLP - Daan Leijen, Microsoft - Dominic Orchard, University of Kent - Fritz Henglein, DIKU - Graham Hutton, University of Nottingham - Guillaume Allais, University of Strathclyde - Jesper Cockx, Delft University of Technology - Mart Lubbers, Radboud University - Nachiappan Valliappan, University of Edinburgh - Nicolas Wu, Imperial College London - Niki Vazou, IMDEA Software Institute The program committee is still being finalized and may be updated. ### Venue IFL 2026 will be held at Aspenäs Herrgård, just outside Gothenburg, Sweden. Aspenäs Herrgård will host the symposium venue and provide a scenic setting for the conference. We will add more information about the venue, accommodation, and travel options soon. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

[Caml-list] PLMW @ ICFP 2026: Funding Call

APPLICATION FOR PLMW TRAVEL FUNDING

Applications for travel funding to PLMW @ ICFP are now open - we will begin awarding funding starting from June 1 AOE until all funding is committed. So long as funding remains, we will continue to consider applications submitted before June 30th AOE.

We advise all interested to apply as soon as possible, especially if a visa is required.

https://icfp26.sigplan.org/home/PLMW-ICFP-2026#Call-for-Participation

The application can be accessed directly at the following URL:
https://forms.gle/adtuWjLAbBtGTcCNA

PLMW is a workshop co-located with ICFP 2026 (the International Conference on Functional Programming) in Indanapolis, US, from August 24-29.

The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to help students imagine how they might contribute to our research community. Topics will range from the abstract (e.g., what is PL research and how does one become involved in it) to the concrete (e.g., how to navigate an academic conference, how to pick a research area) as well as technical talks on cutting-edge topics. See the link below for more details:

https://icfp26.sigplan.org/home/PLMW-ICFP-2026

---

CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents.
Towards a sustainable earth: Print only when necessary. Thank you.

[Caml-list] LPAR-26 Call for Papers - The 26th Conference on Logic for Programming, Artificial Intelligence and Reasoning

=============================================================================== LPAR 2026: The 26th Conference on Logic for Programming, Artificial Intelligence and Reasoning Spetses, Greece 25-30 October 2026 =============================================================================== Conference website: https://lpar-26.info Submission link: https://easychair.org/conferences/?conf=lpar2026 Conference program: https://easychair.org/smart-program/LPAR-26/ =============================================================================== Abstract deadline: 3 June 2026 Submission deadline: 17 June 2026 =============================================================================== The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. Papers from previous proceedings are listed in DBLP. LPAR's slogan is "To boldly go where no reasonable conference has gone before". LPAR brings first class research and researchers to interesting places, and exposes the conference attendees to interesting cultures. The 26th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-26) will be held on Spetses, Greece, 25-30 October 2026. The proceedings of LPAR-26 will be published by EasyChair, in the EPiC Series in Computing. =============================================================================== Call for Papers Submission Guidelines All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: * Regular papers describing solid new research results. They can be up to 15 pages long in EasyChair style, including figures but excluding references and appendices (that reviewers are not required to read). Where applicable, regular papers are supported by experimental validation. * Experimental and tool papers describing implementations of systems, reporting experiments with implemented systems, or comparing implemented systems. They can be up to 8 pages long in in EasyChair style, including figures but excluding references and appendices (that reviewers are not required to read). Experimental and tool papers should be supported by a link to the artifact/ experimental evaluation available to the reviewers. The EasyChair style files are avbailable from: https://easychair.org/publications/for_authors Both types of papers must be electronically submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=lpar2026 The review process is single blind. Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Topics New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: Abduction, Answer set programming, Automated reasoning, Constraint programming, Computational proof theory, Decision procedures, Description logics, Formalizing mathematics, Foundations of security, Hardware verification, Implementations of logic, Interpolation, Interactive theorem proving, Knowledge representation and reasoning, Logic and computational complexity, Logic and databases, Logic and games, Logic and language models, Logic and machine learning, Logic and the web, Logic and types, Logic in artificial intelligence, Logic programming, Logical foundations of programming, Logics of knowledge and belief, Modal and temporal logics, Model checking, Non-monotonic reasoning, Ontologies and large knowledge bases, Probabilistic and fuzzy reasoning, Program analysis, Rewriting, Satisfiability checking, Satisfiability modulo theories, Software verification, Unification theory. LPAR steering committee Nikolaj Bjorner Microsoft Research Andrei Voronkov The University of Manchester Geoff Sutcliffe University of Miami ===============================================================================

[Caml-list] [CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects

TL;DR: Talk proposal deadline for HOPE 2026 is on May 29, 2026. This year, the workshop will be co-located with ICFP'26 (Indiana, US) and FW'26 (Paris, France) ---------------------------------------------------------------------- HOPE 2026 The 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 24, 2026 (the day before ICFP 2026) https://icfp26.sigplan.org/home/hope-2026 HOPE 2026 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Taro Sekiyama (tsekiyama@acm.org) and Francesco Gavazzo (francesco.gavazzo@unipd.it). Important Note: HOPE’26 will be co-located with ICFP’26 (https://icfp26.sigplan.org/) and FW’26 (https://www.irif.fr/~scherer/events/fpw-2026/announce.html). Presenters can choose either event to attend in-person. We also encourage remote participation and will support remote presentations. Deadline for talk proposals: May 29, 2026 (Friday) Notification of acceptance: June 26, 2026 (Friday) Workshop: August 24, 2026, Indiana, United States & Paris, France (tentatively) The submission website is now open: https://hope26.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Yuyan Bao (Augusta University) Raphaëlle Crubillé (Aix-Marseille University) Francesco Dagnino (University of Genova) Elena di Lavore (University of Oxford) Francesco Gavazzo (University of Padua) Cristina Matache (University of Edinburgh) Ken Sakayori (The University of Tokyo) Taro Sekiyama (National Institute of Informatics) Dario Stein (Radboud University) Niels Voorneveld (Cybernetica) Zhixuan Yang (University of Exeter) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. -- Taro Sekiyama

[Caml-list] ETAPS 2027 CfP: ESOP

Dear all (apologies for cross-posting), 

Please see below the ESOP 2027 CfP as part of the joint ETAPS 2027 CfP. You can also find the CfP online here. 

Note that the submission deadline for ESOP first round is on May 28th. More information can be found on the ESOP pages here: https://etaps.org/2027/conferences/esop/

We look forward to your submissions to ESOP, 

Azalea Raad

ESOP 2027 PC Chair

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

                          JOINT CALL FOR PAPERS

                30th ETAPS International Joint Conferences
                    On Theory and Practice of Software
                                ETAPS 2027

                  Copenhagen, Denmark, April 10-15, 2027

                          https://etaps.org/2027

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

-- ABOUT ETAPS --

ETAPS is a primary forum for academic and industrial researchers working
on topics relating to software science. ETAPS, established in 1998, is a
confederation of four annual conferences accompanied by satellite workshops.
ETAPS 2027 is the thirtieth event in the series.


-- Why choose ETAPS? --

* ETAPS is one of the world's leading fora for research on software science,
  with a history of more than 25 years.
* The proceedings of ETAPS appear in gold open access, with no article
  processing charge for the authors specifically.
* All constituent conferences provide artifact evaluation (AE).
* In addition to the conference, ETAPS also unites the software science
  community with activities such as a blog on software science, a PhD
  workshop, sessions on diversity and inclusion and an ask-me-anything session.
* Poster and Tool demo sessions are organized over the week.
* Spin Symposium and Rust Verification Workshop are colocated with ETAPS again.


-- IMPORTANT DATES for ESOP --


* Submission deadline for round 1: May 28, 2026
* Rebuttal for round 1: July 20-22, 2026
* Notification for round 1: August 6, 2026
* Submission deadline for round 2: Thursday, October 15, 2026
* Rebuttal for round 2: December 7-9, 2026
* Paper notification: Tuesday, December 22, 2026
* Artifact submission deadline: Monday, January 11, 2027
* Paper final version: Monday, January 25, 2027
* Artifact notification: Thursday, February 11, 2027

* Main Conference: April 12–15, 2027

All the dates are AoE (Anywhere on Earth). Please note that the deadlines are 
firm and will not be extended.


-- PUBLICATION --

The proceedings will be published in the Advanced Research in Computing and
Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings
volumes will appear in gold open access, so the published versions of all
papers will be available for everyone to download from the publisher's website
freely from the date of online publication, perpetually. The copyright of the
papers will remain with the authors.


-- AWARDS --

The strongest papers will be marked as distinguished
papers and highlighted in the conference program. From these distinguished
papers, the EAPLS, EASST, and EATCS, and the Best Tool Paper Award committees
will select the best ETAPS papers.

The ETAPS Test-of-Time Award will be granted, recognizing outstanding papers
published at ETAPS more than ten years in the past.

The ETAPS Rance Cleaveland Test-of-Time Tool Award acknowledges the importance
of reliable and well-maintained research tools and the significant effort that
their creation and maintenance entails.

The Doctoral Dissertation Award will be granted to promote and recognize
an outstanding dissertation in the research areas covered by the four main
ETAPS conferences.


-- SUBMISSION INSTRUCTIONS --

ESOP 2027 solicit contributions of the following types: 

* ESOP regular research papers: max 25 pp 

* ESOP experience reports: max 15 pp

* ESOP fresh perspectives providing new insights on programming languages and systems: 15 pp. 
  

For the sake of flexibility, submitted research papers may be formatted in
  other formats. There is no page limit at the submission time. Please refer to
  https://etaps.org/2027/esop for more details.

All page limits are given *excluding the bibliography*.

For definitions of the different paper types and specific instruction see the ESOP pages here: https://etaps.org/2027/conferences/esop/

All accepted papers will appear in Springer proceedings and have presentations
during the conference. A condition of submission is that, if the submission is
accepted, one of the authors attends the conference to give the presentation.
We plan ETAPS 2027 as an on-site conference.

Submitted papers must be in English, presenting original research. They must be
unpublished and not submitted for publication elsewhere. In particular,
simultaneous submission of the same contribution to multiple ETAPS conferences
is forbidden.

Submissions not adhering to the specified format and length may be rejected
immediately.

ETAPS conferences will use double-blind reviewing. Authors are asked to omit their names and
institutions; refer to prior work in the third person, just as prior work by
others; not to include acknowledgements that might identify them.

ESOP will use an **author rebuttal phase**. 

-- ARTIFACT SUBMISSION AND EVALUATION --


ESOP will accept artifact submissions; however, participation
in it is voluntary; the artifact submission deadline is after the paper
notification deadline. The outcome will not alter the paper acceptance decision.

Artifacts may be submitted with an accompanying short 5-page
experience report (including a 1-page bibliography) that will appear in the
conference proceedings.


-- CITY AND HOST INSTITUTION --

ETAPS 2027 will take place in Copenhagen, Denmark and is organized by the by the
University of Copenhagen, IT University of Copenhagen, and Aalborg University.

--
Dr Azalea Raad
Reader (Associate Professor)
Director of the VeTSS UK Research Institute
UKRI Future Leader Fellow
Department of Computing
Imperial College London
SoundAndComplete.org

[Caml-list] WPTE 2026: Second Call for Papers

=========================================================================== 2ND CFP UPDATE: Invited Speakers, Deadline Extension to 29 April 2026 (AoE) =========================================================================== WPTE 2026 (affiliated with FLoC 2026 and FSCD 2026 in Lisbon, Portugal) 12th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (19 July 2026) Webpage: https://wpte2026.github.io/ Submission: https://submissions.floc26.org/wpte/ Deadline: 29 April 2026 (Anywhere on Earth) *EXTENDED* --------------------------------------------------------------------------- The aim of WPTE is to bring together researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. Topics of Interest --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. * Rewriting-based transformations for bidirectional programming and reversible computation. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline, a regular paper or extended abstract of at most 10 pages is required. WPTE 2026 accepts submissions in three categories: * Regular paper, reporting on completed work that has not yet been formally published and is not under submission for formal publication at another venue (journal, conference, workshop with formal proceedings). * Work-in-progress extended abstract, reporting on work in progress. * Presentation-only extended abstract, a short version of a paper currently submitted to or formally published at another venue. The program committee will select the presentations for the workshop based on the submissions. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted contribution is expected to present it at the workshop in person. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions are to be made via: https://submissions.floc26.org/wpte/ Post-Proceedings or Journal Special Issue --------------------------------------------------------------------------- For the 2020-2025 editions, papers from WPTE were selected for post-submission and eventual publication in JLAMP special issues. We will discuss, also based on interest expressed by authors at the workshop, whether to arrange a special issue or other formal proceedings for regular papers and completed work-in-progress extended abstracts selected from this year's edition. Invited Speakers --------------------------------------------------------------------------- Nada Amin, Harvard University Nikos Tzevelekos, Queen Mary University of London (joint with GALOP 2026) Important Dates --------------------------------------------------------------------------- Submission of regular papers and extended abstracts: *29* April 2026 (AoE) Notification of acceptance: 25 May 2026 Early Registration for the workshop: 1 June 2026 Final version for informal proceedings: 29 June 2026 Workshop: 19 July 2026 Submission to post-proceedings/special issue: autumn 2026 (tbd) Program Committee --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Carsten Fuhs (co-chair), Birkbeck University of London Jan-Christoph Kassing, RWTH Aachen University Thomas Kœhler, ICube Lab, CNRS, Université de Strasbourg Misaki Kojima, Nagoya University Rubén Rubio, Universidad Complutense de Madrid Traian Şerbănuţă, University of Bucharest Germán Vidal, Universitat Politècnica de València Janis Voigtländer (co-chair), University of Duisburg-Essen Contact --------------------------------------------------------------------------- Please direct questions to: c.fuhs AT bbk.ac.uk and janis.voigtlaender AT uni-due.de

[Caml-list] ETAPS 2027 First Joint Call For Papers

*************************************************************************** JOINT CALL FOR PAPERS 30th ETAPS International Joint Conferences On Theory and Practice of Software ETAPS 2027 Copenhagen, Denmark, April 10-15, 2027 https://etaps.org/2027 *************************************************************************** -- ABOUT ETAPS -- ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2027 is the thirtieth event in the series. -- What is new in 2027? -- * iFS becomes a part of ETAPS as a merger of FASE and iFM. -- Why choose ETAPS? -- * ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. * The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. * All constituent conferences provide artifact evaluation (AE). * In addition to the conference, ETAPS also unites the software science community with activities such as a blog on software sciences, a PhD mentoring workshop, sessions on diversity, equity, and inclusion, and an ask-me-anything session. * Poster and Tool demo sessions are organized over the week. * Spin Symposium and Rust Verification Workshop are colocated with ETAPS. * SV-Comp and Test-Comp competitions and an industry day are hosted at ETAPS. -- MAIN CONFERENCES (April 12-15, 2027) -- * ESOP: European Symposium on Programming (PC chair: Azalea Raad, Imperial College London) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Alexandra Silva, Cornell University Joël Ouaknine, MPI-SWS) * iFS: International Conference on Foundations and Formal Methods for Software and Systems (PC chairs: Erika Abraham, RWTH Aachen University Marsha Chechik, University of Toronto) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Christian Schilling, Aalborg University Najiun Zhan, Chinese Academy of Sciences) -- IMPORTANT DATES -- * Submission deadline for ESOP-round 1: May 28, 2026 * Rebuttal for ESOP-round 1: July 20-22, 2026 * Notification for ESOP-round 1: August 6, 2026 * Submission deadline for ESOP-round 2, iFS, FoSSaCS, TACAS: Thursday, October 15, 2026 * TACAS mandatory artifact submission deadline (2 weeks after paper submission): Thursday, October 29, 2026 * Rebuttal (ESOP-round 2, FoSSaCS, TACAS): December 7-9, 2026 * Paper notification and TACAS mandatory artifact notification: Tuesday, December 22, 2026 * Artifact submission deadline ESOP, iFS, FoSSaCS, TACAS voluntary artifacts: Monday, January 11, 2027 * Paper final version: Monday, January 25, 2027 * Artifact notification ESOP, iFS, FoSSaCS, TACAS (voluntary artifacts): Thursday, February 11, 2027 * Main Conference: April 12–15, 2027 All the dates are AoE (Anywhere on Earth). Deadlines are firm and will not be extended. -- PUBLICATION -- The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access under CC-BY license, so the published versions of all papers will be available for everyone to download from the publisher's website freely from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- AWARDS -- The strongest papers from the four conferences will be marked as distinguished papers and highlighted in the conference program. From these distinguished papers, the EAPLS, EASST, and EATCS, and the Best Tool Paper Award committees will select the best ETAPS papers. The ETAPS Test-of-Time Award will be granted, recognizing outstanding papers published at ETAPS more than ten years in the past. The ETAPS Rance Cleaveland Test-of-Time Tool Award acknowledges the importance of reliable and well-maintained research tools and the significant effort that their creation and maintenance entails. The Doctoral Dissertation Award will be granted to promote and recognize an outstanding dissertation in the research areas covered by the four main ETAPS conferences. -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2027 solicit contributions of the following types. All page limits are given *excluding the bibliography*. * ESOP: regular research papers of max 25 pp, experience reports of max 15 pp, and fresh perspectives providing new insights on programming languages and systems of max 15 pp. For the sake of flexibility, submitted research papers may be formatted in other formats. There is no page limit at the submission time. Please refer to https://etaps.org/2027/esop for more details. * iFS: there are two lengths of papers: long (16pp + 2pp references) and short (8pp + 1pp references). The limits for particular paper categories are: Regular research papers: long; Empirical evaluation papers: long or short; Data showcase paper: short (+ optional appendix up to 6pp); New ideas and emerging results (NIER) papers (visions, reflections): short; Tool papers: long or short (+ optional appendix up to 6pp); * FoSSaCS: regular research papers of max 18 pp. * TACAS: regular research papers, case study papers, and regular tool papers of max 18 pp, tool demonstration papers of max 6 pp. For definitions of the different paper types and specific instructions, where they are present, see the web pages of the individual conferences. All accepted papers will appear in Springer proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2027 as an on-site conference. Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's LNCS (use the llncs.cls class) - except for ESOP, see above - and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. Data availability statement in proceedings papers is mandatory for all ETAPS conference papers. It is to be placed just before the references and does not count into the page limit. ETAPS conferences will use double-blind reviewing (in the case of TACAS and iFS, only for regular research papers). Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others; not to include acknowledgments that might identify them. ESOP, TACAS and FoSSaCS will use an author rebuttal phase. -- ARTIFACT SUBMISSION AND EVALUATION -- Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact submitted shortly after the paper. The artifact will be evaluated, and the outcome will be considered in the paper's acceptance decision. For research paper and case study paper submissions at TACAS, participation in artifact evaluation is voluntary. Authors of papers of these categories may submit an artifact for evaluation after the paper has been accepted. The outcome of the artifact evaluation will not change the paper acceptance decision. ESOP, iFS, and FoSSaCS will accept artifact submissions; however, participation in it is voluntary; the artifact submission deadline is after the paper notification deadline. The outcome will not alter the paper acceptance decision. For ESOP, artifacts may be submitted with an accompanying short 5-page experience report (including a 1-page bibliography) that will appear in the conference proceedings. For specific instructions regarding artifacts, see the web pages of the individual conferences. -- SATELLITE EVENTS (April 10-11, 2027) -- Several satellite workshops and other events will take place during the weekend before the main conferences. -- CITY AND HOST INSTITUTION -- ETAPS 2027 will take place in Copenhagen, Denmark and is organized by the University of Copenhagen, IT University of Copenhagen, and Aalborg University. -- ORGANISERS -- Kim Guldstrand Larsen, Aalborg University Fritz Henglein, Copenhagen University Thomas Troels Hildebrandt, Copenhagen University Andrzej Wąsowski, IT University of Copenhagen Carsten Schürmann, IT University of Copenhagen Boris Düdder, Copenhagen University

[Caml-list] MFCS 2026 - Last Call for Papers

======================================================== MFCS 2026 - Last Call for Papers ======================================================== The **51th conference on Mathematical Foundations of Computer Science** (MFCS) will take place in: Paris, France August 24th-28th, 2026 **MFCS** is among the conferences with the longest history in the field — the first conference in the series was held already in 1972. Traditionally, the conference moved between the Czech Republic, Poland, and Slovakia; since 2013, the conference has traveled around Europe. The conference will be preceded, on August 23, by the **Young Research Forum Workshop** intended for students and postdocs. The workshop will start at 13:00 and will feature talks/discussions around different topics related to research and academic life. After the workshop, there will be a social event with board games. NEW: Up to **10 papers** will be accepted by the program committee, for which **no presence onsite** of an author is required. In this case, a reduced fee will be applied. ======================================================== Important dates and information ======================================================== Submissions: April 24th, 2026 Author notification: June 19th, 2026 Camera-ready version: June 26th, 2026 Conference: August 24th-28th, 2026 (YRF Workshop on August 23rd, afternoon) Deadlines are firm; late submissions will not be considered. All dates are AoE. Conference website: https://mfcs2026.irif.fr/ ======================================================== Invited Speakers ======================================================== Jakub Orpšal (University of Birmingham, UK) Damien Pous (CNRS, ENS Lyon, France) Noga Ron-Zewi (University of Haifa, Israel) Tatiana Starikovskaya (ENS Paris, France) Ryan Williams (MIT, USA) ======================================================== Submission guidelines ======================================================== 1) Papers must present original research on the theory of computer science. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Authors are encouraged to also make full versions of their submissions freely accessible in an on-line repository such as arXiv. 2) Submissions take the form of an extended abstract of up-to 12 pages (LIPIcs document class), excluding a separate title page, references and a clearly labelled appendix. The appendix may consist either of omitted proofs or of a full version of the submission, and it will be read at the discretion of program committee members. The extended abstract has to present the merits of the paper and its main contributions clearly, and describe the key concepts and technical ideas used to obtain the results. Submissions must provide the proofs which can enable the main mathematical claims of the paper to be verified. 3) Submissions authored or co-authored by members of the program committee are allowed. 4) At the time of submission, authors may declare that they are unable to attend the conference in Paris and therefore cannot give an in-person presentation. This choice will not influence the evaluation of submissions by the Program Committee. The Program Committee will rank all papers irrespective of their presentation status. Approximately 80 papers will be selected for in-person presentation, and up to 10 papers will be accepted without presentation. All accepted papers will be published in the same proceedings. This option is intended for authors who wish to publish their results at the conference but, for various reasons (e.g., family or financial constraints), are unable to attend the conference in person. 5) At least one author of each accepted paper with presentation is expected to register for the conference, and give the talk in-person. At least one author of each accepted paper without in-person presentation is expected to register for the conference for a reduced fee, and for each such paper the authors are expected to provide a pre-recorded video of the paper presentation that will be made available on-line during the conference. (Pre-recorded videos of the other papers are optional.) 6) Papers authored only by students should be marked as such at the time of submission in order to be eligible for the best student paper award. 7) MFCS proceedings are published in the Leibniz International Proceedings in Informatics (LIPIcs) series. The camera-ready version of accepted papers will need to comply with the LIPIcs style. 8) All submissions should be made via HotCRP at https://mfcs26.hotcrp.com/. ======================================================== MFCS 2025 Programme Committee ======================================================== Michal Koucký (Charles University, Czech Republic) - chair Daniela Petrișan (Université Paris Cité, IRIF, France) - co-chair C. Aiswarya (Chennai Mathematical Institute, India) Christel Baier (Technische Universität Dresden, Germany) Ivona Bezáková (Rochester Institute of Technology, USA) Markus Bläser (Saarland University, Germany) Achim Blumensath (Masaryk University, Czech Republic) Martin Böhm (University of Wrocław, Poland) Édouard Bonnet (CNRS, ENS de Lyon, France) Joshua Brakensiek (University of California, Berkeley, USA) André Chailloux (Inria de Paris, France) Panagiotis Charalampopoulos (King's College London, UK) Lorenzo Clemente (University of Warsaw, Poland) Ugo Dal Lago (University of Bologna, Italy) Debarati Das (Pennsylvania State University, USA) Samir Datta (Chennai Mathematical Institute, India) Jakub Gajarský (Masaryk University and University of Warsaw, Czech Republic/Poland) Anna Gál (University of Texas at Austin, USA) Sumegha Garg (Rutgers University, USA) Mayank Goswami (City University of New York, USA) Florian Horn (Université Paris Cité, IRIF, CNRS, France) Dušan Knop (Czech Technical University, Czech Republic) Hanna Komlos (Max Planck Institute for Informatics, Germany) Stephan Kreutzer (TU Berlin, Germany) Bruno Loff (University of Lisbon, Portugal) Wolfgang Merkle (Heidelberg University, Germany) Igor Carboni Oliveira (University of Warwick, UK) Kristýna Pekárková (AGH University of Krakow, Poland) Thomas Place (University of Bordeaux, LABRI, France) Cécilia Pradic (Swansea University, UK) Jakub Przybyło (AGH University of Krakow, Poland) Colin Riba (ENS de Lyon, LIP, France) Kilian Risse (Lund University, Sweden) Robert Robere (McGill University, Canada) Michał Skrzypczak (University of Warsaw, Poland) Paweł Sobociński (TalTech, Estonia) Henning Urbat (FAU Erlangen-Nürnberg, Germany) Pavel Veselý (Charles University, Czech Republic) Philip Wellnitz (National Institute of Informatics, Japan) Sarah Winter (Université Paris Cite, IRIF, CNRS, France) James Worrell (University of Oxford, UK) Standa Živný (University of Oxford, UK) ==========================================

[Caml-list] ARQNL 2026 - Call for Papers

ÿþ-

[Caml-list] PERR2026 @ CAV/FLOC: Second Call For Papers

[with apologies for cross-postings]

======================================================================

Updated information on: program committee, early registration deadline

======================================================================

                    SECOND CALL FOR PAPERS/PRESENTATIONS

       6th Workshop on Program Equivalence and Relational Reasoning

                24 July 2026 at ISCTE campus, Lisbon, Portugal

                  associated with CAV 2026 at FLOC 2026

                   https://perr-workshop.github.io/2026

======================================================================

Submission Deadline: Friday, 24 April, 2026 (AoE)

Submit at: https://submissions.floc26.org/perr

PERR is an annual international workshop dedicated to the formal verification of program equivalence and related relational problems. It is the 6th in a series of meetings that bring together researchers from different areas interested in equivalence and related questions. PERR 2026 will be a workshop at FLOC 2026, and a satellite event to CAV 2026.

Program equivalence is arguably one of the most interesting and at the same time important problems in formal verification. It is a cross-cutting topic that has attracted the interest of several research communities: the field of denotational (game) semantics, deductive software verification, bounded model checking, specification inference, software evolution and regression testing, etc.

The goal of the workshop is to bring researchers of the different fields in touch and to stimulate an exchange of ideas leading to forging a community working on PERR. It welcomes contributions from the topics mentioned above but is also open to new questions regarding program equivalence. This includes related research areas of relational reasoning like program refinement or the verification of hyperproperties, in particular of secure information flow.

      - regression verification

      - program equivalence

      - equivalence of higher order programs

      - product programs, relational calculi

      - verification of hyperproperties

      - program refinement, refinement calculus

      - specification of differences between programs

      - inferring semantic differences between programs

      - transformation validation

      - correct compiler transformations

      - automata bisimulation

      - AI-supported equivalence checking 

      - relational properties of AI-based systems

      - code equivalence checking in teaching and marking

This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations.

SUBMISSION GUIDELINES

We invite two types of submissions:

      - Regular papers. Regular papers should be at most 15 pages (excluding references). They should present original research results, tools, or case studies.

      - Extended Abstracts. Extended abstracts should be at most 3 pages (excluding references). They should introduce work that has recently been published or is under review, or work in progress.

Submissions should be made using the PERR 2026 submission site:

https://submissions.floc26.org/perr

Submissions must be a single PDF file, in LNCS format. 

The workshop will have informal proceedings, posted on the webpage, and speakers will be asked to consider submitting papers towards a post-proceedings volume.

IMPORTANT DATES

    Submission Deadline: Friday, 24 April, 2026 (AoE)

    Notification: Thursday, 28 May, 2026

    Early-bird Registration: Monday, 1 June, 2026

    Workshop: Friday, 24 July, 2026

ORGANIZERS

    Mattias Ubrich, Karlsruhe Institute of Technology, Germany

    Dragana Milovancevic, Imperial College London, UK

PROGRAM COMMITTEE

    Andrzej Murawski, University of Oxford, UK

    Carsten Fuhs, Birkbeck University of London, UK

    Denys Shabalin, Google, Switzerland

    Nikos Tzevelekos, Queen Mary University of London, UK

    Ofer Strichman, Technion, Israel

    Soumyadip Bandyopadhyay, ABB Corporate Research, India

    Vasileios Koutavas, Trinity College Dublin, Ireland