Programme

Monday 11 April

10:30-11:00 Arrival and coffee
11:00-12:40 Talks session
Nuno Lopes: Automatic Equivalence Checking of Programs with Uninterpreted Functions and Integer Arithmetic
Nimrod Partush: Statistical Similarity of Binaries
Ofer Strichman: SymDiff: A verifier for differential specifications
12:40-14:00 Lunch
14:00-15:30 Talks session
Carsten Fuhs: Proving Equivalence of Imperative Programs via Constrained Rewriting Induction
Stefan Ciobaca: How to Prove Program Equivalence with Matching Logic
15:30-16:00 Coffee
16:00-17:30 Talks session
Ofer Strichman: Regression verification: proving the equivalence of similar programs
Maor Veitsman: Regression Verification for unbalanced recursive functions
18:30Dinner

Tuesday 12 April

9:00-10:30 Talks session
Nikos Tzevelekos: Game Semantics for Interface Middleweight Java
Steven Ramsay: Deciding contextual equivalence for IMJ*
10:30-11:00 Coffee
11:00-12:30 Talks session
Mattias Ulbrich: Automating Regression Verification by Predicate Abstraction: Pointer Programs and PLC Software
Tim Wood: Modular equivalence verification of procedures that dynamically allocate heap memory
12:30-14:00 Lunch
14:00-15:30 Talks session
Guilhem Jaber: Can we automate proof of contextual equivalence using Logical Relations?
Vassileios Koutavas: From Applicative to Environmental Bisimulation
15:30-16:00 Wrap up and coffee