diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md
index 6e2ac70aaa17571a7fb8214352d5f4c4bc481717..9d17463d16819a3723d09b9a89e9ef350f10a0e7 100644
--- a/events/GILogicWorkshops/index.md
+++ b/events/GILogicWorkshops/index.md
@@ -34,6 +34,6 @@ The tentative program is as follows:
 * Session 4: 14:30 - 16:00 (chair: Sergey Goncharov)
   * 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, A CDCL-style Algorithm for First-Order Logic with Equality,  [slides (if any)](2022/lange.pdf)
+  * 15:30: Hendrik Leidinger, SCL for First-Order Logic with Equality,  [slides (if any)](2022/lange.pdf)