Call for participation: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

[Jakob Nordström]

Dear colleagues,

We would like to invite you to participate in the 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26), to be held on Sunday July 19 in Lisbon as part of the Federated Logic Conference (FLoC '26).

WHOOPS brings together researchers interested in certifying algorithms and proof logging for automated reasoning and combinatorial solving. As per the (tentative) schedule posted at https://ciaranm.github.io/WHOOPS26/ , we will have two invited talks by

- Haniel Barbosa on proof logging for satisfiability modulo theories (SMT) solving and
- Stefan Szeider on importing proof logging certificates into Lean

as well as contributed presentations on:

- proof logging and certification of propagations for state-of-the-art combinatorial solving algorithms;
- certification techniques for problems well beyond NP, even involving real-valued reasoning;
- proof logging and zero-knowledge proofs;
- design of new proof systems;
- transformation and compression of proofs; and
- formal verification of encodings and solver verdicts.

Please see https://ciaranm.github.io/WHOOPS26/ for more on the background and purpose of the WHOOPS series of workshops.

Here is hoping to see you in Lisbon in one and a half week from now!

Best regards,
Jakob Nordström

Jakob Nordström, Professor
University of Copenhagen and Lund University
Phone: +45 28 78 38 11 / +46 70 742 21 98
https://jakobnordstrom.se