Update index.md

events/GILogicWorkshops/index.md

@@ -35,5 +35,4 @@ The tentative program is as follows:
   * 14:30: Colin Rothgang, Theorem Proving in Dependently Typed Higher-Order Logic [slides (if any)](2022/rothgang.pdf) 
   * 15:00: 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:30: Hendrik Leidinger, SCL for First-Order Logic with Equality,  [slides (if any)](2022/lange.pdf)
-
-
+* Session 5: 16:30 - 17:30: Mitgliederversammlung Fachgruppe LogInf