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

Update swuv.md

parent f5bae8c7
No related branches found
No related tags found
No related merge requests found
Pipeline #3942 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
courses/swuv.md
+ 2
− 2
View file @ 960e3349
...@@ -30,7 +30,7 @@ Typical topics involve ...@@ -30,7 +30,7 @@ Typical topics involve
* libraries of formal knowledge and systems for building, maintaining, and managing them * libraries of formal knowledge and systems for building, maintaining, and managing them
* knowledge-based services like search or user interfaces * knowledge-based services like search or user interfaces
In particualr, the primary application of our research is mathematical knowledge, but we are always interested in other areas on a case-by-case basis. In particular, the primary application of our research is mathematical knowledge, but we are always interested in other areas on a case-by-case basis.
The difficulty of topics varies from introductory topics for ambitious Bachelor students to research topics of PhD students. The difficulty of topics varies from introductory topics for ambitious Bachelor students to research topics of PhD students.
We also occasionally have advanced talk from visiting researchers. We also occasionally have advanced talk from visiting researchers.
...@@ -57,7 +57,7 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i ...@@ -57,7 +57,7 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
| 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event | 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event
| 25. 11. 2021 | cancelled | | | 25. 11. 2021 | cancelled | |
| 02. 12. 2021 | Dennis Müller | Combining Statistical Machine Learning and Inductive Logic Programming | a general talk inspired by his 6 month visit at Fraunhofer Institute for Integrated Circuits | 02. 12. 2021 | Dennis Müller | Combining Statistical Machine Learning and Inductive Logic Programming | a general talk inspired by his 6 month visit at Fraunhofer Institute for Integrated Circuits
| 09. 12. 2021 | | | | 09. 12. 2021 | Max Rapp | Formalizing Argumentation Logics | PhD thesis progress talk
| 16. 12. 2021 | Ivo Junior | Interfacing Mathematical Human-Computer Interactions by Using the Grammatical Logical Inference Framework | BSc. Presentation | | 16. 12. 2021 | Ivo Junior | Interfacing Mathematical Human-Computer Interactions by Using the Grammatical Logical Inference Framework | BSc. Presentation |
| 23. 12. 2021 | cancelled | | | 23. 12. 2021 | cancelled | |
| 13. 01. 2021 | | | | 13. 01. 2021 | | |
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment