diff --git a/courses/swuv.md b/courses/swuv.md index e975b7cbc1af09fb294f149d7afdb2c8c79b23aa..dd175ee30e953edc293e84f96c34bc6302055657 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -83,18 +83,8 @@ Additionally every student prepares a report about their topic. The grades is ba 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. -As a rough idea, some potential topics are given below. -More 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.) - -|Thema | Literatur | Schwierigkeitsgrad -|-----|-------|-----|-------|---------| -| Argumentation Logics | various topics|| -| Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)| easy but logic-based | -| MathLang| Kamareddine | | -| Formula Parsing | Ginev M.Sc., Pichler MSc., various AITP papers | easy | -| MitM Foundation | | medium | -| LF + Intersection Types | | advanced| -| McAllister-Foundation || with Voldemort's Theorem (difficult) | +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. ##### For the record: SS 2023