From ad273b18cc9bbc7cb4385fe7a58bdbe0ba3d992f Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Mon, 6 Sep 2021 09:57:50 +0000
Subject: [PATCH] Update swuv.md

---
 courses/swuv.md | 48 ++++++++++++++++++++++++++++++++++--------------
 1 file changed, 34 insertions(+), 14 deletions(-)

diff --git a/courses/swuv.md b/courses/swuv.md
index 729481e..501ada5 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -37,20 +37,21 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 
 |Datum|Sprecher|Thema|Notiz|
 |-----|--------|-----|----|
-| 14. 04. 2021 | Rabe | Admin, Themenvergabe |
-| 21. 04. 2021 14:45-16:15 | Sven Wille | Towards an interactive proof system for MMT | MSc. proj. presentation
-| 29. 04. 2021 | cancelled | |
-| 06. 05. 2021 |Kohlhase, Rabe | How to give a talk?|
-| 13. 05. 2021 | holiday | |
-| 20. 05. 2021 |Kohlhase, Rabe | How to read a paper?|
-| 27. 05. 2021 | Rabe | Type-Dependent Equality | practice talk for CICM
-| 03. 06. 2021 | holiday | |
-| 10. 06. 2021 | Wagner, Rabe | OEIS in MMT | guided discussion of open problem
-| 17. 06. 2021 | Rabe (moderator) | Big Math and the One-Brain Barrier | reading group
-| 24. 06. 2021 | Jonas Betzendahl | Formalising and Proving with Sudokus |
-| 01. 07. 2021 | Navid Roux | [Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf) | practice talk for LFMTP
-| 08. 07. 2021 |Roman Hucke | DOL and OntoHub | seminar talk
-| 15. 07. 2021 |Johannes Westphal | GLIF | seminar talk
+| 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe |
+| 28. 10. 2021 | Schmidt | Modular Formalization of Set Theory | MSc thesis presentation (tentative)
+| 04. 11. 2021 | Kohlhase, Rabe | How to read a paper? |
+| 11. 11. 2021 | Kohlhase, Rabe | How to give a scientific talk? |
+| 18. 11. 2021 | |  |
+| 25. 11. 2021 | |  |
+| 02. 12. 2021 | |  |
+| 09. 12. 2021 | |  |
+| 16. 12. 2021 | |  |
+| 23. 12. 2021 | entfällt | |
+| 13. 01. 2021 | |  |
+| 20. 01. 2021 | |  |
+| 27. 01. 2021 | |  |
+| 03. 02. 2021 | |  |
+| 10. 02. 2021 | |  |
 
 ##### Vortragsthemen
 
@@ -77,6 +78,25 @@ statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir b
 auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
 abonnieren!
 
+##### For the record: Seminarplan SS21
+
+|Datum|Sprecher|Thema|Notiz|
+|-----|--------|-----|----|
+| 14. 04. 2021 | Rabe | Admin, Themenvergabe |
+| 21. 04. 2021 14:45-16:15 | Sven Wille | Towards an interactive proof system for MMT | MSc. proj. presentation
+| 29. 04. 2021 | cancelled | |
+| 06. 05. 2021 |Kohlhase, Rabe | How to give a talk?|
+| 13. 05. 2021 | holiday | |
+| 20. 05. 2021 |Kohlhase, Rabe | How to read a paper?|
+| 27. 05. 2021 | Rabe | Type-Dependent Equality | practice talk for CICM
+| 03. 06. 2021 | holiday | |
+| 10. 06. 2021 | Wagner, Rabe | OEIS in MMT | guided discussion of open problem
+| 17. 06. 2021 | Rabe (moderator) | Big Math and the One-Brain Barrier | reading group
+| 24. 06. 2021 | Jonas Betzendahl | Formalising and Proving with Sudokus |
+| 01. 07. 2021 | Navid Roux | [Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf) | practice talk for LFMTP
+| 08. 07. 2021 |Roman Hucke | DOL and OntoHub | seminar talk
+| 15. 07. 2021 |Johannes Westphal | GLIF | seminar talk
+
 ##### For the record: Seminarplan WS2021
 
 |Datum|Sprecher|Thema|Notiz|
-- 
GitLab