[Proof Complexity] Videos from proof logging workshop WHOOPS '25 now available!

[Jakob Nordström]

Dear colleagues,

For anyone interested in how proof complexity can help to solve NP-hard problems faster and more reliably in practice (by constructing so-called certifying solvers that generate machine-verifiable proofs of correctness for their computations), this is just to let you know that (almost) all *videos and slides *from the /*2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)* /can now be found *at https://jakobnordstrom.se/WHOOPS25/* . Happy viewing!

Also, if this looks interesting, then it would be great to see you at the 3rd edition of /WHOOPS /at /FLoC 2026 /in Lisbon next summer!

Best regards,
Jakob

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