Seminars are only broadcast if the speaker has granted permission. Streams may not be available until the seminar begins.
Now showing
No seminar
Coming Soon
- Thursday 29th - 11:00 - Jeremy Avigad - Metaprogramming in Lean
- Thursday 29th - 15:30 - Andrew Pitts - HoTT research seminar (Coquand & Rijke)
- Friday 30th - 10:00 - Natarajan Shankar - A tutorial introduction to the PVS proof assistant
- Friday 30th - 11:00 - Andreas Abel - A tutorial introduction to Agda
- Monday 3rd - 11:00 - Bas Spitters - Synthetic topology in Homotopy Type Theory for probabilistic programming
- Monday 3rd - 15:30 - - Proof Automation (coordinated by N. Shankar)
- Tuesday 4th - 15:30 - - Big Proof and Education (coordinated by Jeremy Avigad)
- Wednesday 5th - 15:30 - - Social Proof Seminar (coordinated by Fenner Tanswell)
- Thursday 6th - 11:00 - J Strother Moore - Industrial Use of a Mechanical Theorem Prover
- Thursday 6th - 15:30 - Ulrik Buchholtz - Nominal applications of the classifying space of the finitary permutation group
