diff --git a/courses/swuv.md b/courses/swuv.md index 7762885d86be42b01db0f5ff789658406bffa2c8..52a22c2f324d6b82513ca0c2490c21bd66ae91e4 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -210,7 +210,7 @@ abonnieren! | 26. 6. 2019 | Tom Wiesing | Integrating semantic mathematical documents and dynamic notebooks|| | 3. 7. 2019 | Jonas Beyer | Morphoid Type Theory|| | 10. 7. 2019 | - | entfaellt || -| \*15. 7. 2019, 14:00 | Navid Roux| Refactoring Theory Graphs in KM Systems (Raum 11.139)|Sondertermin| +| \*15. 7. 2019, 14:00 | Navid Roux | Refactoring Theory Graphs in KM Systems (Raum 11.139) | BSc thesis presentation: [slides](https://gl.kwarc.info/supervision/seminar/-/tree/master/SS2019/refactoring-theory-graphs/build/slides.pdf), [thesis](https://gl.kwarc.info/supervision/BSc-archive/-/blob/master/2019/Roux_Navid.pdf) | | \*17. 7. 2019 | Kathrin Horsting| Somthing with WissKI|Cauerstraße 4, Raum 0.332| | 24. 7. 2019 | - | entfaellt ||