diff --git a/courses/swuv.md b/courses/swuv.md index 3b43a470022087915db395cae175971d48867cbb..011b799486afd34a753841d800e1445cb4c5cd07 100644 --- a/courses/swuv.md +++ b/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