From 47115d5ba1ab11754f28a59879e3ddbc8c88d07a Mon Sep 17 00:00:00 2001 From: Sergey Goncharov <sergey.goncharov@fau.de> Date: Wed, 6 Apr 2022 16:25:01 +0000 Subject: [PATCH] - typo --- events/GILogicWorkshops/index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md index 320630b..84a4dc5 100644 --- a/events/GILogicWorkshops/index.md +++ b/events/GILogicWorkshops/index.md @@ -30,10 +30,10 @@ The program is as follows: * Lunch break: 13:00 - 14:00 * Session 3: 14:00 - 15:30 (chair: Sergey Goncharov) * 14:00: Colin Rothgang, Theorem Proving in Dependently Typed Higher-Order Logic [slides (if any)](2022/rothgang.pdf) - * 14:30: Jean Christoph Jung and Frank Wolter, Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable + * 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 [slides (if any)](2022/heule.pdf) -Fragments [slides (if any)](2022/jung.pdf) +Fragments * Session 5: 17:15 - 18:00: Mitgliederversammlung Fachgruppe LogInf -- GitLab