From b04fa64dcd5f6c7b58ee1f083872dd196e51ee82 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Wed, 20 May 2020 15:46:05 +0200
Subject: [PATCH] Update swuv.md

---
 courses/swuv.md | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/courses/swuv.md b/courses/swuv.md
index ca4f103..6440209 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -44,10 +44,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 13. 05. 2020 | Benjamin Bösl| FrameIT: A Logic-Based Framework for Serious  Games |
 | 20. 05. 2020 | Tom Wiesing | Interactions between aspects of Tetrapodal Mathematics on MathHub | [Slides](https://kwarc.info/people/twiesing/pubs/phd-proposal-slides.pdf) |
 | 27. 05. 2020 | Dennis Müller | From Informal to Formal Mathematics | 
-| 03. 06. 2020 | | |
+| 03. 06. 2020 | Benjamin Gorny | Knowledge Representation in DeepMind|
 | 10. 06. 2020 | | |
 | 17. 06. 2020 | | |
-| 24. 06. 2020 | | |
+| 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT |
 | 01. 07. 2020 | | |
 | 8. 7. 2020 | Jan Frederik Schaefer | GLIF/Jupyter|
 | 15. 07. 2020 | | |
@@ -55,12 +55,11 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 29. 07. 2020 | | |
 | ???? | Max Rapp? | How to Identify, Translate, and Combine Logics?"|
 | ???? | Kohlhase | How to read scientific articles|
-| ???  | Benjamin Gorny | Knowledge Representation in DeepMind|
 | ??? | Heiko Sonnenberg | Something about Argumentation Logics|
 | ??? | Pascal Zoleko | Something from Marcos Cramer's Diss|
 | ???? | Florian Stangl | Something about Jupyther | 
 | ??? | Annika Schmidt | Curry Howard Isomorphism|
-| ???? | Sven Wille | AC2 | 
+| ???? | Sven Wille | ACL2 | 
 
 
 ##### Vortragsthemen
-- 
GitLab