Update index.md

events/GI2020/index.md

@@ -22,16 +22,16 @@ All participants must **register** [here](https://docs.google.com/forms/d/1hF5Tg
 
 * 10:00: Ana Sokolova, invited talk
 * 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: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
 * 11:45: *break with free discussion in gather.town*
 
-#### Session 1: 13:00 - 15:15
+#### Session 2: 13:00 - 15:15
 
 * 13:00: Dov Gabbay, invited talk
-* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL
+* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL
 * 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning
-* 14:25: Felix Weitkämper, Anwendungen der endlichen Modelltheorie in der statistisch relationalen KI
+* 14:25: Felix Weitkämper, Anwendungen der endlichen Modelltheorie in der statistisch relationalen KI
 * 14:45: *break with free discussion in gather.town*
 
 #### Session 3: 15:15 - 17:30
@@ -39,7 +39,7 @@ All participants must **register** [here](https://docs.google.com/forms/d/1hF5Tg
 * 15:15: Marl Joos and Tobias Philipp,	Mitigation of Cache Side Channel Attacks with Answer Set Programming
 * 15:35: Mario Wenze, Microlog - Microcontroller programming using Datalog
 * 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification
-* 16:15: Thomas Zeume,	Teaching Logic with Iltis
+* 16:15: Thomas Zeume, Teaching Logic with Iltis
 * 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars
 * 16:55: *break with free discussion in gather.town*