PERR — PROGRAM
Days: Friday, 24 July 2026
Friday, 24 July 2026
09:10-10:30
Session 1
PERR
Location:
C2.02
| 09:10-10:10 |
Program Equivalence Through Higher-Order Constrained Rewriting Induction (abstract) 60 min
1 Radboud University Nijmegen
|
| 10:10-10:30 |
Interaction Equivalence (abstract) 20 min
1 INRIA & LIX, Ecole Polytechnique
2 University of Bologna
3 Université Paris Cité
|
10:30-11:00
Coffee Break
PERR
Location:
C2.02
11:00-12:00
Session 2
PERR
Location:
C2.02
| 11:00-11:20 |
Semantically Descriptive Similarity (abstract) 20 min
1 DTU (Technical University of Denmark)
|
| 11:20-11:40 |
Semantic Foundations for the Static Analysis of Program Revisions (abstract) 20 min
1 University of Colorado Boulder
2 University of Colorado Boulder & Amazon
|
| 11:40-12:00 |
Process Equivalence Checking as Abstract Interpretation (abstract) 20 min
1 Télécom SudParis, Institut Polytechnique de Paris
|
12:00-14:00
Lunch
PERR
Location:
C2.02
14:00-15:20
Session 3
PERR
Location:
C2.02
| 14:00-15:00 |
Hyper Hoare Logic: Deductive Verification of Complex Hyperproperties (abstract) 60 min
1 EPFL
|
| 15:00-15:20 |
Proving Program Equivalence in Dafny (abstract) 20 min
1 Imperial College London
|
15:30-16:00
Coffee Break
PERR
Location:
C2.02
16:00-17:00
Session 4
PERR
Location:
C2.02
| 16:00-16:20 |
Refuting Equivalence in Probabilistic Programs with Conditioning (abstract) 20 min
1 Institute of Science and Technology Austria
2 Masaryk University
3 Singapore Management University
|
| 16:20-16:40 |
Differential Verification of Neural Networks: Theory and Applications (abstract) 20 min
1 Karlsruhe Institute of Technology (KIT)
|
| 16:40-17:00 |
Discussion and Closing (abstract) 20 min
1 Karlsruhe Institute of Technology
2 Imperial College London
|