From 960e33499dac30da007835faab1fbc534d62293d Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Mon, 6 Dec 2021 15:07:42 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 454636f..139b326 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 | | | -- GitLab