From 64a46beb8b7f3b30ce23d26d8bbaca32f7c38b61 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Thu, 31 Mar 2022 14:46:55 +0000
Subject: [PATCH] Update index.md

---
 events/GILogicWorkshops/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md
index 05309ff..6e2ac70 100644
--- a/events/GILogicWorkshops/index.md
+++ b/events/GILogicWorkshops/index.md
@@ -33,7 +33,7 @@ The tentative program is as follows:
 * Break 2: 14:00 - 14:30: free discussion in zoom
 * 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 Jung, TBD [slides (if any)](2022/jung.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)
 
 
-- 
GitLab