Update swuv.md

courses/swuv.md

@@ -28,7 +28,7 @@ Doktoranden. Sie spiegeln recht gut die Forschungsinteressen der
 [KWARC Gruppe](http://kwarc.info) wieder. Daher ist dieses Seminar sehr gut geeignet um in
 die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). 
 
-*Seminartermin/Ort*: Mittwochs 14:45-16:15, in:
+*Seminartermin/Ort*: Donnerstag 14:15-15:45, in:
 * zoom meeting room <https://fau.zoom.us/j/93424820605?pwd=d3N0M3pkVDBKclBnN3NzVnYwY3hGUT09>
 * meeting ID: 934 2482 0605
 * password: 027214
@@ -38,19 +38,19 @@ 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 | Sven Wille | Towards an interactive proof system for MMT | MSc. proj. presentation
-| 28. 04. 2020 | | |
-| 05. 05. 2020 | | |
-| 12. 05. 2020 | | |
-| 19. 05. 2020 | | |
-| 26. 05. 2020 | | |
-| 02. 06. 2020 | | |
-| 09. 06. 2020 | | |
-| 16. 06. 2020 | | |
-| 23. 06. 2020 | | |
-| 30. 06. 2020 | | |
-| 07. 07. 2020 | | |
-| 14. 07. 2020 | | |
+| 21. 04. 2021 14:45-16:15 | Sven Wille | Towards an interactive proof system for MMT | MSc. proj. presentation
+| 29. 04. 2020 | | |
+| 06. 05. 2020 | | |
+| 13. 05. 2020 | no seminar | |
+| 20. 05. 2020 | | |
+| 27. 05. 2020 | | |
+| 03. 06. 2020 | no seminar | |
+| 10. 06. 2020 | | |
+| 17. 06. 2020 | | |
+| 24. 06. 2020 | | |
+| 01. 07. 2020 | | |
+| 08. 07. 2020 | | |
+| 15. 07. 2020 | | |
 
 ##### Vortragsthemen