From 63759cfbbccbe9b1efb540b23ebde503acd1077c Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 13 Jan 2021 14:55:14 +0100
Subject: [PATCH] tweak

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

diff --git a/courses/swuv.md b/courses/swuv.md
index 778ff91..b57cacd 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -45,15 +45,12 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 09. 12. 2020 | Michael Banken | Theory Intersection| Msc. thesis presentation
 | 16. 12. 2020 | Jan Frederik Schaefer | Prototyping NLU Pipelines -- A Type-Theoretical Framework | Msc. thesis presentation ([slides](https://github.com/jfschaefer/slides/raw/master/2020/swuv-msc-presentation/slides.pdf), [thesis](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2020/Schaefer_Jan_Frederik.pdf))
 | 23. 12. 2020 | entfällt | |
-| 06. 01. 2021 | entfällt | |
 | 13. 01. 2021 | Christian Cerny | Term Generation in MMT | BSc. thesis presentation
 | 20. 01. 2021 | Markus Wich | Autoformalization of Mathematics |
 | 27. 01. 2021 | Navid Roux | Logical Relations |
 | 03. 02. 2021 | Sebastian Weber | TBD |
 | 10. 02. 2021 | | |
 
-
-
 ##### Vortragsthemen
 
 Themen werden mit dem Dozenten individuell ausgemacht, typischerweise in den ersten Seminarterminen.
-- 
GitLab