From e2f39d0b6728eedb0ec08c391eb3f987416c6700 Mon Sep 17 00:00:00 2001 From: Navid Roux <navid.roux@fau.de> Date: Sat, 23 Jul 2022 14:31:30 +0000 Subject: [PATCH] add metadata for my bsc talk back then (2019) --- courses/swuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/swuv.md b/courses/swuv.md index 7762885..52a22c2 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 || -- GitLab