diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md
index b091f908d9e419101fe1c2d9c4346dcb7e0b9876..f22b8980cdc5e48756460557f4aa28433775f9e6 100644
--- a/events/GILogicWorkshops/index.md
+++ b/events/GILogicWorkshops/index.md
@@ -21,7 +21,7 @@ The program will consist of multiple sessions of zoom talks in the zoom room htt
 The program is as follows:
 
 * Session 1: 10:00 - 11:00 (chair: Claudia Schon)
-  * 10:00: Martin Suda, **Invited talk** [slides (if any)](2022/suda.pdf)
+  * 10:00: Martin Suda, **Invited talk** Integrating Machine Learning into Saturation-based ATPs [slides (if any)](2022/suda.pdf)
 * Break 1: 11:00 - 11:30: free discussion in zoom
 * Session 2: 11:30 - 13:00 (chair: Florian Rabe)
   * 11:30: Florian Wörz, Number of Variables for Graph Differentiation and the Resolution of GI Formulas [slides (if any)](2022/woerz.pdf)
@@ -33,6 +33,7 @@ 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 [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:00 (chair: Olaf Beyersdorff)
-  * 16:00: Marijn Heule, **Invited talk** Short Proofs in Strong Proof Systems Fragments [slides (if any)](2022/heule.pdf) 
+* 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