From fe641a79afa9b7e26def1023e53d4b4014fbf6ad Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Thu, 15 Jun 2023 13:53:45 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/swuv.md b/courses/swuv.md index 74ebe48..0eb704e 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 -- GitLab