From 46ae18c8360504dbac5f4c5a9bcd2b2d383020cf Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Thu, 25 Mar 2021 16:07:39 +0100 Subject: [PATCH] Update index.md --- events/GI2020/index.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/events/GI2020/index.md b/events/GI2020/index.md index a341426..a606b47 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -20,10 +20,10 @@ All participants must **register** [here](https://docs.google.com/forms/d/1hF5Tg #### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov) -* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides](solokova.pdf) -* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL [slides](fuenmayor.pdf) -* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides](saelzer.pdf) -* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides](farjami.pdf) +* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](solokova.pdf) +* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](fuenmayor.pdf) +* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides (if any)](saelzer.pdf) +* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](farjami.pdf) * 11:45: *break with free discussion in gather.town* #### Session 2: 13:00 - 15:15 (chair: Claudia Schon) -- GitLab