Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PERR 2026 @ CAV/FLOC: Call for Participation

Email Gateway (Jun 01 2026 at 09:18):

From: "Milovancevic, Dragana" <dragana.milovancevic@imperial.ac.uk>

======================================================================
    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

Last updated: Jun 12 2026 at 04:13 UTC