PERR Workshop
2026
24 July 2026
Lisbon, Portugal (with FLoC 2026)
Home
Submission/Dates
Program
Invited Speakers
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
Conference Program
to be announced
© PERR Organizing Committee
Webmaster: Rakshit Mittal, BITS Pilani, Goa Campus
Design by Mike Pierce, UCR