Group meetings

Time
Wednesdays, 14:00 – 15:00 (Fall 2025)
Place
HFG 7.07

Schedule (Fall 2025)

DateSpeakerTitle
29/10/25TBATBA (ends at 14:45)
22/10/25Jelle WemmenhoveTBA
15/10/25Jiedong JiangThe FATE of AI Formal Reasoning: Challenging LLMs with Formal Frontier Algebra
08/10/25Ioli TenteModel Checking on graphs and the Least Fixed Point Logic
01/10/25Yu LanFormalizing Syntax Theory and Derivations
24/09/25Christian MertenThe spec of a good database library in Lean
17/09/25Fernando ChuA brief introduction to semantics of dependent type theory
10/09/25TBATBA

Schedule (Spring 2025)

DateSpeakerTitle
11/06/25Alex van TilburgWaterproof for "Introduction to proofs"
04/06/25Pim OtteMy past open source life and my favourite algorithm
28/05/25Quinn van der VeldenConstruction of classifying categories as term models
21/05/25Christian MertenFormalising the étale fundamental group
14/05/25Johan CommelinLiquid Tensor Experiment
07/05/25No meeting
30/04/25Johan CommelinCondensed type theory
23/04/25Christian Mertenautograde - automatically grading Lean submissions in Lean
16/04/25Vincent KuhlmannTrocq in Lean
09/04/25Sam LindauerFormalizing differential forms
02/04/25Fernando ChuObservability Type Theory
26/03/25Raphael Douglas GilesTBA
19/03/25CancelledVincent Kuhlmann: Trocq in Lean
12/03/25Quinn van der VeldenPartial categorical logic
05/02/25Planning session
26/02/25No seminar
19/02/25No seminar
12/02/25Vincent KuhlmannTrocq
05/02/25Metaprogramming study group