PERR Workshop 2022

August 11, 2022
Technion, Haifa, Israel (with FLoC 2022)

5th Workshop on Program Equivalence and Relational Reasoning

Submission Deadline Extension till 4 June 2022.

PERR is an annual international workshop dedicated to the formal verification of program equivalence and related relational problems. It is the 5th in a series of meetings that bring together researchers from different areas interested in equivalence and related questions. PERR 2022 will be a workshop at FLOC 2022, and a satellite event to CAV 2022.

Program equivalence is arguably one of the most interesting and at the same time important problems in formal verification. It is a cross-cutting topic that has attracted the interest of several research communities: the field of denotational (game) semantics, deductive software verification, bounded model checking, specification inference, software evolution and regression testing, etc.

The goal of the workshop is to bring researchers of the different fields in touch and to stipulate an exchange of ideas leading to forging a community working on PERR. It welcomes contributions from the topics mentioned above but is also open to new questions regarding program equivalence. This includes related research areas of relational reasoning like program refinement or the verification of hyperproperties, in particular of secure information flow.

• - regression verification
• - program equivalence
• - equivalence of higher order programs
• - product programs, relational calculi
• - verification of hyperproperties
• - program refinement, refinement calculus
• - specification of differences between programs
• - inferring semantic differences between programs
• - transformation validation
• - correct compiler transformations
• - automata bisimulation
• - code equivalence checking in teaching and marking

This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations.

The workshop will have informal proceedings, posted on its webpage, and speakers will be asked to consider submitting papers towards a post-proceedings volume.

Program Committee

• - Mattias Ulbrich (Co-chair), Karlsruhe Institute of Technology, Germany
• - Soumyadip Bandyopadhyay (Co-chair), BITS Pilani, Goa Campus, India
• - Marco Eilers, ETH Zurich, Sweden
• - Yann Herklotz, Imperial College, London, UK
• - Chandan Karfa, IIT Guwahati, India
• - Ofer Strichman, Technion, Israel
• - Marie-Christie Jakobs, TU Darmstadt, Germany
• - Andrzej Murawski, University of Oxford, UK
• - Soham Chakraborty, TU Delft, Netherlands
• - Nikos Tzevelekos, Queen Mary University of London, UK
• - Sergey Mekhtaev, National University of Singapore, Singapore