diff --git a/events/GI2020/index.md b/events/GI2020/index.md index abd7a7fe0c18933e53f2eae087a6d6342312e868..7ff03cdc19caf1b7f2472bcbfbcb251f4d18b895 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -20,7 +20,7 @@ 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**: Tracing Probability and Nondeterminism +* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism * 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL * 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus * 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge