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

Update swuv.md

parent fe641a79
Branches
No related tags found
No related merge requests found
Pipeline #5410 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 3 deletions
courses/swuv.md
+ 3
− 3
View file @ a46f0423
......@@ -71,9 +71,9 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
| 22. 06. 2023 | Dirk Boehme | Isabelle/HOL||
| 29. 06. 2023 | Jakob Gross| Haskell/Hardware||
| 06. 07. 2023 | Mark Tintemann| Metamath0 ||
| 13. 07. 2023 | Yasmeen Shawat|Weak Type Theory||
| 20. 07. 2023 | Omar Lotfy | An verview of ontology querying |12-14|
| 20. 07. 2023 | Jeremias Mennecke | Automated Generation of exam sheets ||
| 13. 07. 2023 | Jeremias Mennecke | Automated Generation of exam sheets ||
| 20. 07. 2023 | Omar Lotfy | An verview of ontology querying ||
##### Topics
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment