Program | PERR 2026

Invited Speakers

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

to be announced