diff --git a/courses/swuv.md b/courses/swuv.md index 74ebe484c07e24235bbfb6f54c08c475319abfab..0eb704eb24412b976c62aa05606f33b0fc1ca5a9 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -72,7 +72,7 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i | 29. 06. 2023 | Jakob Gross| Haskell/Hardware|| | 06. 07. 2023 | Mark Tintemann| Metamath0 || | 13. 07. 2023 | Yasmeen Shawat|Weak Type Theory|| -| 20. 07. 2023 |????? | ??? |12-14| +| 20. 07. 2023 | Omar Lotfy | An verview of ontology querying |12-14| | 20. 07. 2023 | Jeremias Mennecke | Automated Generation of exam sheets || ##### Topics