diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md index 27e4850c7bf8b09f095b3fdd5fc2fef222a9cc08..0684fcca061a10f397b65d18d4110afafc64cc63 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)