The Coq mailing list

[Mattias Ulbrich <ulbrich AT kit.edu>]

[with apologies for cross-postings]

======================================================================

     5th Workshop on Program Equivalence and Relational Reasoning
              August 11, 2022 at Technion, Haifa, Israel
                associated with CAV 2022 at FLOC 2022
                 https://perr-workshop.github.io/2022

======================================================================

Submission Deadline: Friday, 28 May, 2022 (AoE)

Submit at: https://easychair.org/conferences/?conf=perr2022

CALL FOR PAPERS/PRESENTATIONS

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.

SUBMISSION GUIDELINES

Please submit an abstract (this can be in the form of 1-2 pages of
text, or a paper of no more than 15 pages in LNCS format) of your
proposed talk on the EasyChair submission page below. Submissions will
be reviewed by at least 2 PC members and feedback will be provided.

     https://easychair.org/conferences/?conf=perr2022

The workshop will have informal proceedings, posted on the webpage,
and speakers will be asked to consider submitting papers towards a
post-proceedings volume (to be published e.g. as a technical report).

IMPORTANT DATES

  Submission Deadline: Friday, 28 May, 2022 (AoE)
  Notification: Friday, July 1, 2022
  Workshop: Thursday, August 11, 2022

ORGANIZERS

  Soumyadip Bandyopadhyay, BITS Goa, India
  Mattias Ubrich, KIT Karlsruhe, Karlsruhe

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature