From 6dfe4627f40c155d0bbc22701e65cab90865e98a Mon Sep 17 00:00:00 2001
From: Sergey Goncharov <sergey.goncharov@fau.de>
Date: Tue, 23 Mar 2021 09:03:16 +0100
Subject: [PATCH] Update index.md

---
 events/GI2020/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/events/GI2020/index.md b/events/GI2020/index.md
index abd7a7f..7ff03cd 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
-- 
GitLab