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.
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