Jan de Muijnck-HughesReally nice talk, distinguished one might say, by Chelsea Edmonds on her framework for writing probabilistic proofs in Isabelle/HOL. #CPP (co-located with #popl2024
Helps make the case stronger for why we need mechanisation, and more beamer.
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma (CPP 2024) - POPL 2024
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will be held on 15-16 January 2024 and will be co-located with POPL 2024 in London, UK.