Context and Objectives

Program equivalence is arguably one of the hardest and most interesting problems in programming languages and software verification. It has attracted the interest of several communities, ranging from the field of denotational semantics and the problem of Full Abstraction, to software verification and Regression Testing. The aim of this workshop is to bring together the different approaches and techniques of the current state of the art and to facilitate the cross-pollination of research between these areas.

Special Issue

Ofer Strichman guest edits a special issue of the Journal on Formal Methods in System Design (FMSD) on Program Equivalence:

-- Deadline for 1-page abstract submission (provisional): July 28th, 2016
-- Deadline for full paper submission (provisional): Oct 28th, 2016

For further details, see the call for papers.


  • Andrzej Murawski (Warwick)
  • Ofer Strichman (Technion)
  • Nikos Tzevelekos (QMUL)

This workshop is supported by the School of EECS at Queen Mary University of London.