diff --git a/courses/swuv.md b/courses/swuv.md index 21c8c303cff7ad6d4dda1737869a5ba91a5e90e0..cf7748f5cb29115faf8b43afb53f3d6ec62b43e8 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -43,7 +43,7 @@ If we need to do it via zoom, we will use the following room: In WS24/25 we will not have free selection, but we will schedule coordinated groups of talks based on three handbooks (listed from easy to harder): -- [Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) accessible from the FAU network +- [Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) (accessible from the FAU network) - [Harrison: Handbook of practical Logic](https://kwarc.info/teaching/sWuV/Harrison_handbook-of-practical-logic.pdf) - [Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf) @@ -58,7 +58,7 @@ above (easy talks are early!). | 17. 10. 2023 | Kohlhase, Rabe | Admin, discussion of topics || | 24. 10. 2023 | Kohlhase, Rabe | TBD || -##### Content and Audience +<!-- ##### Content and Audience This seminar discusses selected topics from knowledge representation. This is a wide field that pervades all of computer science and many adjacent sciences like mathematics and physics. @@ -75,19 +75,19 @@ The difficulty of topics varies from introductory topics for ambitious Bachelor We also occasionally have advanced talk from visiting researchers. The social center of the seminar is the [KWARC research group](http://kwarc.info), and the talks reflect the current research in the group. -Therefore, the seminar is well-suited for newcomers, e.g., students interested in a Master thesis or PhD. +Therefore, the seminar is well-suited for newcomers, e.g., students interested in a Master thesis or PhD.--> -##### Topics +##### Flow of the Seminar and Grading Requirements The seminar consists of weekly talks. Every student chooses one topic on which to give a talk. Additionally every student prepares a report about their topic. The grades is based on attendance, the talk, and the report. -Topics are chosen individually with the instructors, typically at the first seminar slot. -Students are allowed and encouraged to make suggestions for their topic - anything is allowed that is scientific and broadly related to knowledge representation. + Topics are chosen individually with the instructors, typically at the first seminar slot. +<!-- Students are allowed and encouraged to make suggestions for their topic - anything is allowed that is scientific and broadly related to knowledge representation. Some topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.) -In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, KR, ISWC conferences and related workshops of the last few years are acceptable. +In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, KR, ISWC conferences and related workshops of the last few years are acceptable.--> ##### For the record: Schedule SS 2024