SU–GU joint type theory workshop
Time: Thu 2025-05-22 11.20 - 17.00
Location: Cramérrummet, Albano Hus 1 plan 3
Schedule (preliminary, may change):
11:20–11:50 – Felix Cherubini, Towards synthetic Serre duality
11:50–12:20 – Gabriel Saadia, Virtual ultracategories
(lunch break)
13:30–14:00 – Milly Maietti
14:00–14:30 – Nicolai Kraus
14:30–15:00 – Marc Bezem, The Lagrange construction in univalent group theory
(fika break)
15:45–16:15 – Sina Hazratpour, On constructive proofs of the Frobenius condition
16:15–16:45 – Christian Sattler
17:45: dinner, venue TBC (near Stockholm C)