Please note that this newsitem has been archived, and may contain outdated information or links.
3 February 2025, Proof Society Seminar, Jeremy Avigad
Speaker: Jeremy Avigad (Carnegie Mellon University)
Title: Verifying Proofs on Blockchain
Date: Monday 3 February 2025
Time: 14:00
Location: Online via Zoom
For more information, see
https://www.proofsociety.org/proof-theory-seminar/index.html.
Please note that this newsitem has been archived, and may contain outdated information or links.