From: "Milovancevic, Dragana" <dragana.milovancevic@imperial.ac.uk>
To: "announce@informatics-europe.org"
<announce@informatics-europe.org>,
"caml-list@inria.fr" <caml-list@inria.fr>,
"cl-isabelle-users@lists.cam.ac.uk"
<cl-isabelle-users@lists.cam.ac.uk>,
"coq-club@inria.fr" <coq-club@inria.fr>,
"fm-announcements@lists.nasa.gov"
<fm-announcements@lists.nasa.gov>,
"events@fmeurope.org" <events@fmeurope.org>,
"Announcement list for the South of England Regional Programming
Language Seminar (S-REPLS)" <srepls@jiscmail.ac.uk>,
"types-announce@lists.seas.upenn.edu"
<types-announce@lists.seas.upenn.edu>
Cc: Mattias Ulbrich <ulbrich@kit.edu>
Subject: [Caml-list] PERR 2026 @ CAV/FLOC: Call for Participation
Date: Mon, 1 Jun 2026 08:44:46 +0000 [thread overview]
Message-ID: <LOCP265MB8611FF8E6231DA654871034EB5152@LOCP265MB8611.GBRP265.PROD.OUTLOOK.COM> (raw)
[-- Attachment #1: Type: text/plain, Size: 2273 bytes --]
======================================================================
CALL FOR PARTICIPATION
6th Workshop on Program Equivalence and Relational Reasoning
24 July 2026 at ISCTE campus, Lisbon, Portugal
associated with CAV 2026 at FLOC 2026
https://perr-workshop.github.io/2026
======================================================================
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.
REGISTRATION
You can register for PERR 2026 here:
https://www.floc26.org/registration
INVITED TALKS
- Cynthia Kop, Radboud Univeristy Nijmegen
- Thibault Dardinier, New York University
ACCEPTED PAPERS
- Differential Verification of Neural Networks: Theory and Applications by Samuel Teuber and Philipp Kern
- Interaction Equivalence by Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto and Gabriele Vanoni
- Process Equivalence Checking as Abstract Interpretation by Benjamin Bisping
- Proving Program Equivalence in Dafny by Nathaniel Victor, Dragana Milovancevic and Sophia Drossopoulou
- Refuting Equivalence in Probabilistic Programs with Conditioning by Krishnendu Chatterjee, Ehsan - Kafshdar Goharshady, Petr Novotný and Đorđe Žikelić
- Semantic Foundations for the Static Analysis of Program Revisions by Dakota Bryan and Bor-Yuh Evan Chang
- Semantically Descriptive Similarity by Oskar Hovmøller Dinesen and Christian Gram Kalhauge
PROGRAM COMMITTEE
Dragana Milovancevic (Co-chair), Imperial College London, UK
Mattias Ulbrich (Co-chair), Karlsruhe Institute of Technology, Germany
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: 10588 bytes --]
reply other threads:[~2026-06-01 8:45 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=LOCP265MB8611FF8E6231DA654871034EB5152@LOCP265MB8611.GBRP265.PROD.OUTLOOK.COM \
--to=dragana.milovancevic@imperial.ac.uk \
--cc=announce@informatics-europe.org \
--cc=caml-list@inria.fr \
--cc=cl-isabelle-users@lists.cam.ac.uk \
--cc=coq-club@inria.fr \
--cc=events@fmeurope.org \
--cc=fm-announcements@lists.nasa.gov \
--cc=srepls@jiscmail.ac.uk \
--cc=types-announce@lists.seas.upenn.edu \
--cc=ulbrich@kit.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox