3^rd International Workshop on Program Equivalence and Relational Reasoning(PERR 2019)

April 06, 2019, Prague, Czech Republic

Scope & Topics

PERR is an annual international workshop dedicated to the formal verification of program equivalence and related relational problems. It is the 3rd in a series of meetings that bring together researchers from different areas interested in equivalence and related questions. PERR 2019 will be held as satellite workshop of ETAPS (http://www.etaps.org/).

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.

Topics of Interest :

• 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

Important Dates :

Submission Deadline	:	February 01, 2019
Authors Notification	:	March 01, 2019

 

User Name : mark
Posted 09-11-2018 on 17:35:02 AEDT

Related CFPs

ACII   Advanced Computational Intelligence: An International Journal
ACII   Advanced Computational Intelligence: An International Journal
IJAMSE   International Journal of Advances in Materials Science and Engineering
IJAMSE   International Journal of Advances in Materials Science and Engineering