From ce8aff1d5c8443f7e927e119abe38baa8d34ddc0 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Sun, 3 Apr 2022 15:27:24 +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 27e4850..0684fcc 100644
--- a/events/GILogicWorkshops/index.md
+++ b/events/GILogicWorkshops/index.md
@@ -23,7 +23,7 @@ The **tentative** 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)
 * Break 1: 11:00 - 11:30: free discussion in zoom
-* Session 2: 11:30 - 12:00 (chair: Florian Rabe)
+* 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)
   * 12:00: Martin Lange, The Calculus of Influence - Formal Modelling of Biological Experiments [slides (if any)](2022/lange.pdf)
   * 12:30: Florian Bruse, A Decidable Expressive Modal Logic, [slides (if any)](2022/bruse.pdf)
-- 
GitLab