[Proof Complexity] 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