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

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 ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************