| Date | Time | Speaker | Talk Title |
|---|---|---|---|
| 2025-07-07 | 12:00 | Alex Potanin | TBD (Quantum Verification) |
| 2025-06-30 | 12:00 | Sigfrido Ciletti | TBA |
| 2025-06-10 | 11:00 | Sasha Pak | Confirmation of Candidature: View Types in Rust |
| 2025-04-14 | 12:00 | Florrie Verity | PhD Final Presentation: Fibred models of crisp type theory and Kripke-Joyal forcing |
| 2025-03-24 | 12:00 | Geoff Sutcliffe | The TPTP World - Infrastructure for Automated Reasoning |
| 2025-02-24 | 12:00 | Jack Stodart | Confirmation of Candidature: Extending Automatic Software Verifiers with Interactive Proofs |
| 2025-02-10 | 12:00 | Eric Hall | Confirmation of Candidature: Formal Verification of Convolutional Codes and Turbo Codes |