[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
======================================================================
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://urldefense.com/v3/__https://perr-workshop.github.io/2026__;!!IBzWLUs!Wfsq7hxcGbbbVSMp_4CEka0bBTlI4HpmeKylVgt9AW3Q2CSjLgdJB2EWGfjeFpNWgRM4-6I4ta1erZw_fALxkhxfudJ3_NRtozF_s2Y4VU8PdGc$
======================================================================
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://urldefense.com/v3/__https://www.floc26.org/registration__;!!IBzWLUs!Wfsq7hxcGbbbVSMp_4CEka0bBTlI4HpmeKylVgt9AW3Q2CSjLgdJB2EWGfjeFpNWgRM4-6I4ta1erZw_fALxkhxfudJ3_NRtozF_s2Y4wLONJ4o$
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
