diff --git a/events/GI2020/index.md b/events/GI2020/index.md
index 3fb88472507ffbf4610469fcb471a218df1ad55a..7be449a432d6e80c03fb3ad0de931ff60116893d 100644
--- a/events/GI2020/index.md
+++ b/events/GI2020/index.md
@@ -37,7 +37,7 @@ All participants must **register** [here](https://docs.google.com/forms/d/1hF5Tg
 #### Session 3: 15:15 - 17:30
 
 * 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:35: Mario Wenzel, 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:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars