diff --git a/events/GI2020/index.md b/events/GI2020/index.md
index b295cd7da6fa9ef23c041e297c53043c17855728..06e756ccc5480969f63baacb9028a24964c46b4c 100644
--- a/events/GI2020/index.md
+++ b/events/GI2020/index.md
@@ -36,7 +36,7 @@ All participants must **register** [here](https://docs.google.com/forms/d/1hF5Tg
 
 #### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff)
 
-* 15:15: Marl Joos and Tobias Philipp,	Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](philipp.pdf)
+* 15:15: Marl Joos and Tobias Philipp,	Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](joos.pdf)
 * 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](wenzel.pdf)
 * 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](sardar.pdf)
 * 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](zeume.pdf)
diff --git a/events/GI2020/joos.pdf b/events/GI2020/joos.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..ac8c37568cf516fbd1b21e02326e0f8fc92e1a4a
Binary files /dev/null and b/events/GI2020/joos.pdf differ
diff --git a/events/GI2020/wenzel.pdf b/events/GI2020/wenzel.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..350c83346f17cf82a62828dd3d9bc20b01cf79a5
Binary files /dev/null and b/events/GI2020/wenzel.pdf differ