| Date | Time | Speaker | Talk Title |
|---|---|---|---|
| 2025-03-24 | 12:00 | Geoff Sutcliffe | The TPTP World - Infrastructure for Automated Reasoning |
| 2025-03-03 | 16:00 | Florrie Verity | PhD Final Presentation: Fibred models of crisp type theory and Kripke-Joyal forcing |
| 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 |