| Date | Speaker | Title |
| 11/06/25 | Alex van Tilburg | Waterproof for "Introduction to proofs" |
| 04/06/25 | Pim Otte | My past open source life and my favourite algorithm |
| 28/05/25 | Quinn van der Velden | Construction of classifying categories as term models |
| 21/05/25 | Christian Merten | Formalising the étale fundamental group |
| 14/05/25 | Johan Commelin | Liquid Tensor Experiment |
| 07/05/25 | No meeting | |
| 30/04/25 | Johan Commelin | Condensed type theory |
| 23/04/25 | Christian Merten | autograde - automatically grading Lean submissions in Lean |
| 16/04/25 | Vincent Kuhlmann | Trocq in Lean |
| 09/04/25 | Sam Lindauer | Formalizing differential forms |
| 02/04/25 | Fernando Chu | Observability Type Theory |
| 26/03/25 | Raphael Douglas Giles | TBA |
| 19/03/25 | Cancelled | Vincent Kuhlmann: Trocq in Lean |
| 12/03/25 | Quinn van der Velden | Partial categorical logic |
| 05/02/25 | Planning session | |
| 26/02/25 | No seminar | |
| 19/02/25 | No seminar | |
| 12/02/25 | Vincent Kuhlmann | Trocq |
| 05/02/25 | — | Metaprogramming study group |