Conference Program

For the abstracts and more details see PERR's program page at FLOC.
TimePresenter, Topic
9:30 – 10:30 Keynote by Ofer Strichman, Technion: Regression verification of unbalanced recursive functions with multiple calls
10:30 – 11:00 Coffee break
11:00 – 11:30 Kazuki Watanabe: Compositional Approaches to Games in Model Checking
11:30 – 12:00 Vasileios Koutavas, Yu-Yang Lin and Nikos Tzevelekos: From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
12:00 – 12:30 Cynthia Kop, Kasper Hagens and Wouter Brozius: Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems
12:30 – 14:00 Lunch break
14:00 – 14:30 Soumyadip Bandyopadhyay: Implementing a Path Based Equivalence Checker for Petri net based Models of Programs
14:30 – 15:00 Christian Martin: Generating Mutation Tests Using an Equivalence Prover
15:00 – 15:30 Discussion: How can PERR's research fields benefit from each other?
15:30 – 16:00 Coffee break
16:30 – 17:00 Invited talk, Andrzej Murawski: Compositional relational reasoning via operational game semantics


The proceedings (papers and extended abstracts) are available here during the workshop.