Skip to content
Snippets Groups Projects
Commit fe641a79 authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent 28bfa2ae
No related branches found
No related tags found
No related merge requests found
Pipeline #5348 passed
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment