[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