[FM-India] Call For Papers: 5th Workshop on Program Equivalence and Relational Reasoning (PERR2022 @ CAV/FLOC)

[Soumyadip Bandyopadhyay]

[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

Best regards,

Dr. Soumyadip Bandyopadhyay
Assistant Professor
Computer Science and Information Systems
Birla Institute of Technology & Science, Pilani
K K Birla Goa Campus
NH 17 B, Zuarinagar
Goa, India. 403 726
Phone: +91 832-2580203

Other affiliation:

External Post Doctoral Fellow
System Analysis and Modeling Group
Hasso Plattner Institute
Prof.-Dr.-Helmert-Str. 2 - 3
14482 Potsdam / Germany
E-Mail: soumyadip.bandyopadhyay at hpi.de
Phone: +491626304191

-- 
The information contained in this electronic communication is intended 
solely for the individual(s) or entity to which it is addressed. It may 
contain proprietary, confidential and/or legally privileged information. 
Any review, retransmission, dissemination, printing, copying or other use 
of, or taking any action in reliance on the contents of this information by 
person(s) or entities other than the intended recipient is strictly 
prohibited and may be unlawful. If you have received this communication in 
error, please notify us by responding to this email or telephone and 
immediately and permanently delete all copies of this message and any 
attachments from your system(s). The contents of this message do not 
necessarily represent the views or policies of BITS Pilani.