Program | PERR 2026

Invited Speakers

Cynthia Kop, Radboud Univeristy Nijmegen:
Program Equivalence Through Higher-Order Constrained Rewriting Induction
Thibault Dardinier, EPFL:
Hyper Hoare Logic: Deductive Verification of Complex Hyperproperties

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

Time	Presenter, Topic
9:10 – 10:10	Keynote by Cynthia Kop, Radboud University Nijmegen: Program Equivalence Through Higher-Order Constrained Rewriting Induction
10:10 – 10:30	Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto, and Gabriele Vanoni: Interaction Equivalence
10:30 – 11:00	Coffee break
11:00 – 11:20	Oskar Hovmøller Dinesen and Christian Gram Kalhauge: Semantically Descriptive Similarity
11:20 – 11:40	Dakota Bryan and Bor-Yuh Evan Chang: Semantic Foundations for the Static Analysis of Program Revisions
11:40 – 12:00	Benjamin Bisping: Process Equivalence Checking as Abstract Interpretation
12:00 – 14:00	Lunch break
14:00 – 15:00	Keynote by Thibault Dardinier, EPFL: Hyper Hoare Logic: Deductive Verification of Complex Hyperproperties
15:00 – 15:20	Nathaniel Victor, Dragana Milovancevic and Sophia Drossopoulou: Proving Program Equivalence in Dafny
15:30 – 16:00	Coffee break
16:00 – 16:20	Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný and Đorđe Žikelić: Refuting Equivalence in Probabilistic Programs with Conditioning
16:20 – 16:40	Samuel Teuber and Philipp Kern: Differential Verification of Neural Networks: Theory and Applications
16:40 – 17:00	Discussion and Closing