[Caml-list] VSTTE 2026: Second Call for Papers and WIP Presentations

VSTTE 2026: Second Call for Papers and WIP Presentations

18th International Conference on Verified Software: Theories, Tools, and Experiments

14 September, 2026, Graz, Austria

Co-located with Formal Methods in Computer-Aided Design 2026 (FMCAD 2026)

---

Key Information

Conference Website: https://fmcad.org/FMCAD26/vstte/

Important Dates:

Abstract submission: July 10th, 2026 AoE  July 17th, 2026 AoE

Paper submission: July 17th, 2026 AoE July 24th, 2026 AoE (firm, no further extensions)

Notification of acceptance: August 22nd, 2026 AoE (tentative)*

Final pre-conference paper submission (optional): September 2nd, 2026 AoE (tentative)

Camera-ready for papers included in post-conference proceedings: October 23, 2026 (tentative)

* Authors of accepted papers at VSTTE 2026 will be able to register at early-bird rates for FMCAD/VSTTE.

---

Paper Submissions:

VSTTE 2026 accepts both long (limited to 16 pages, excluding references) and

short (limited to 10 pages, excluding references) paper submissions. Short

submissions also cover “verification pearls” describing an elegant proof or

proof technique. Submitted research papers and system descriptions must be

original and not submitted for publication elsewhere.

Papers must be submitted via EasyChair at the VSTTE 2026 conference submission

page: https://easychair.org/conferences/?conf=vstte2026.

The use of LaTeX and the Springer LNCS class files is strongly encouraged.

Submissions that are not in the proper format or are too long will not be considered.

Accepted regular-track papers will be included in the post-conference

proceedings of VSTTE 2026, which will be published as a LNCS volume by

Springer Verlag. Authors of those papers will have to transfer copyright of

their contribution to Springer Verlag.

---

Invited speakers

• Roderick Bloem (Graz University of Technology)
• Martin Jonáš (Masaryk University, Brno)

Invited tutorial

• Daniela Kaufmann (TU Wien)
• Omri Isac (Hebrew University of Jerusalem)

[Caml-list] POPL 2027 Call for Workshops

POPL 2027 Call for Workshops
Sun 10 - Sat 16 January 2027
Mexico City, Mexico
https://popl27.sigplan.org/
=============================

Submission details

Deadline for submission: 24 July 2026

Notification of acceptance: 4 August 2026

A workshop proposal should provide the following information:

- Name of the workshop.
- A short description (150-200 words) of the workshop.
- Call for submissions.
- Duration of the workshop.
- Whether the workshop will be Conference-approved or SIGPLAN-approved (see below).
- Organizers: names, affiliation, contact information, brief (100 words) biography.
- Event format: workshop; type of submissions if any; review process; results dissemination.
- Expected attendance and target audience.
- Potential PC members - please do not contact them before the workshop is approved.
- History of the workshop.
- Plans for remote participation.

Please submit your proposals at
https://popl27.sigplan.org/track/POPL-2027-workshops-and-co-located-events

---------------------------------------------------------------------

SIGPLAN Sponsorship

POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/).
There are two kinds of co-located events: Conference-approved (no
proceedings) and SIGPLAN-approved (proceedings in the ACM Digital
Library). See http://www.sigplan.org/Resources/Guidelines/Workshops/
for more information, including a full listing of prescriptions for
Conference-approved and SIGPLAN-approved workshops.

SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy.
Proposals for SIGPLAN-approved workshops must additionally include the
gender, country of affiliation, and professional status of potential
PC members. See https://www.sigplan.org/Resources/Policies/Diversity/
for more details.

---------------------------------------------------------------------

Selection committee

All submissions will be evaluated by a committee comprising the
workshops co-chairs, the general chair, and the program chair.

---------------------------------------------------------------------

Further information

Any questions regarding POPL 2027 co-located event proposals should be
addressed to the workshops chairs, Aws Albarghouthi (aws@cs.wisc.edu)
and Alan Schmitt (alan.schmitt@inria.fr).

[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