Update index.md

events/GILogicWorkshops/index.md

@@ -33,7 +33,6 @@ The program is as follows:
   * 14:30: Jean Christoph Jung and Frank Wolter, Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments [slides (if any)](2022/jung.pdf)
   * 15:00: Hendrik Leidinger, SCL for First-Order Logic with Equality,  [slides (if any)](2022/lange.pdf)
 * Break 2: 15:30 - 16:00: free discussion in zoom
-* Session 4: 16:00 - 17:30 (chair: Olaf Beyersdorff)
+* Session 4: 16:00 - 17:00 (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:30 - 18:00: Mitgliederversammlung Fachgruppe LogInf
+* Session 5: 17:15 - 18:00: Mitgliederversammlung Fachgruppe LogInf