7 May 2026, MoL, Madeleine Gignoux
Candidate: Madeleine Gignoux
Title: Proofs as Coalgebras
Date: Thursday 7 May 2026
Time: 11:00
Location: KdVI seminar room F3.20, Science Park 107, Amsterdam
Supervisor: Malvin Gattinger & Yde Venema
For more information,
contact Malvin Gattinger at b.r.m.gattinger at uva.nl.