diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md index f22b8980cdc5e48756460557f4aa28433775f9e6..d63070d3a85f517116945f73941db30c25462f5f 100644 --- a/events/GILogicWorkshops/index.md +++ b/events/GILogicWorkshops/index.md @@ -36,4 +36,4 @@ The program is as follows: * Session 4: 16:00 - 17:30 (chair: Olaf Beyersdorff) * 16:00: Marijn Heule, **Invited talk** Short Proofs in Strong Proof Systems Fragments [slides (if any)](2022/heule.pdf) * 17:00: Aleksey Gonus, Categorical Semantics of Intuitionistic Multiplicative Linear Logic and its Formalization in Isabelle/HOL[slides (if any)](2022/gonus.pdf) -* Session 5: 17:15 - 18:00: Mitgliederversammlung Fachgruppe LogInf +* Session 5: 17:30 - 18:00: Mitgliederversammlung Fachgruppe LogInf