20.4.2023 | 14:00–16:00 HIIT Steering Group Meeting April The Steering Group will meet to discuss funding requests, recruitment requests, […]
21.4.2023 | 11:00–12:00 Foundations Friday: Melissa Antonelli “On Counting Propositional Logic and Wagner’s Hierarchy”