[Caml-list] Deadline Extension: PERR2026 @ CAV/FLOC

[Caml-list] Deadline Extension: PERR2026 @ CAV/FLOC

[Milovancevic, Dragana]

[-- Attachment #1: Type: text/plain, Size: 2548 bytes --]

[with apologies for cross-postings]

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

       6th Workshop on Program Equivalence and Relational Reasoning (PERR)
                24 July 2026 at ISCTE campus, Lisbon, Portugal
                  associated with CAV 2026 at FLOC 2026
                   https://perr-workshop.github.io/2026

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

Submission Deadline: Tuesday, 5 May, 2026 (AoE) (extended)

Submit at: https://submissions.floc26.org/perr

PERR is an annual international workshop dedicated to the formal verification of program equivalence and related relational problems. It is the 6th in a series of meetings that bring together researchers from different areas interested in equivalence and related questions. PERR 2026 will be a workshop at FLOC 2026, and a satellite event to CAV 2026.

This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations.

SUBMISSION GUIDELINES

We invite two types of submissions:

      - Regular papers. Regular papers should be at most 15 pages (excluding references). They should present original research results, tools, or case studies.

      - Extended Abstracts. Extended abstracts should be at most 3 pages (excluding references). They should introduce work that has recently been published or is under review, or work in progress.

Submissions should be made using the PERR 2026 submission site:

https://submissions.floc26.org/perr

Submissions must be a single PDF file, in LNCS format.

The workshop will have informal proceedings, posted on the webpage, and speakers will be asked to consider submitting papers towards a post-proceedings volume.

IMPORTANT DATES

    Submission Deadline: Tuesday, 5 May, 2026 (AoE) (extended)
    Notification: Thursday, 28 May, 2026
    Early-bird Registration: Monday, 1 June, 2026
    Workshop: Friday, 24 July, 2026

ORGANIZERS

    Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
    Dragana Milovancevic, Imperial College London, UK

PROGRAM COMMITTEE

    Andrzej Murawski, University of Oxford, UK
    Carsten Fuhs, Birkbeck University of London, UK
    Denys Shabalin, Google, Switzerland
    Nikos Tzevelekos, Queen Mary University of London, UK
    Ofer Strichman, Technion, Israel
    Soumyadip Bandyopadhyay, ABB Corporate Research, India
    Vasileios Koutavas, Trinity College Dublin, Ireland

[-- Attachment #2: Type: text/html, Size: 13269 bytes --]