Videos from proof logging workshop WHOOPS '25 now available!
5 views
Skip to first unread message
Jakob Nordström
Nov 26, 2025, 10:54:49 AM (7 days ago) Nov 26
to Constraint solving list
Dear colleagues,
For anyone interested in the latest news on how to build 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 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
For anyone interested in the latest news on how to build 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 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
Reply all
Reply to author
Forward
0 new messages