From 29e2d08b313bcc9032129c40278329f86c0031a9 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Mon, 23 Nov 2020 07:28:35 +0100
Subject: [PATCH] more

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

diff --git a/courses/swuv.md b/courses/swuv.md
index 1267190..4a24116 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -40,9 +40,9 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 04. 11. 2020 | Rabe | Admin, Themenvergabe |
 | 11. 11. 2020 | Kohlhase, Rabe | How to read a scientific paper? |
 | 18. 11. 2020 | Kohlhase, Rabe | How to give a scientific talk? |
-| 25. 11. 2020 | | |
-| 02. 12. 2020 | Betzendahl | Formalizing Undefinedness: A survey |
-| 09. 12. 2020 | | |
+| 25. 11. 2020 | | entfällt |
+| 02. 12. 2020 | Jonas Betzendahl | Formalizing Undefinedness: A survey |
+| 09. 12. 2020 | Michael Banken | Theory Intersection|
 | 16. 12. 2020 | | |
 | 23. 12. 2020 | entfällt | |
 | 13. 01. 2021 | Christian Cerny | Term Generation in MMT | BSc. thesis presentation
-- 
GitLab