diff --git a/courses/swuv.md b/courses/swuv.md index 454636f5f72e7c7fd94b7aeb8f89e0b0b0f7e9e3..139b326b769aaaee804ea8c61b153213195296ab 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -30,7 +30,7 @@ Typical topics involve * libraries of formal knowledge and systems for building, maintaining, and managing them * 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. 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 | 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event | 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 -| 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 | | 23. 12. 2021 | cancelled | | | 13. 01. 2021 | | |