diff --git a/courses/swuv.md b/courses/swuv.md index ddef92f397ed66376479e82be86fd7f1cadd0083..8dd4314d200a7d22d51712b7f79ef16ea11b8015 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -25,8 +25,8 @@ semesters: ##### Administrative -The seminar takes place every semester on Thursdays 14:15-15:45 throughout the lecture period. -It takes place in Room 00.131-128, Cauerstraße 11. +The seminar is offered every semester. No formal registration is necessary - just attend the first meeting. +It takes place every Thursdays 14:15-15:45 throughout the lecture period in Room 00.131-128, Cauerstraße 11. The seminar takes place in-person unless mentioned otherwise. If we need to do it via zoom, we will use the following room: @@ -53,9 +53,47 @@ 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. -##### WS 2022/23 +##### Schedule + +|Date|Speaker|Topic|Remark| +|----|-------|-----|------| +| 20. 04. 2022 | cancelled ||| +| 27. 04. 2022 | Kohlhase, Rabe | Admin, discussion of topics || +| 04. 05. 2022 | Kohlhase, Rabe | How to give a talk? || +| 11. 05. 2022 | ||| +| 18. 05. 2022 | holiday | +| 25. 05. 2022 | ||| +| 01. 06. 2022 | ||| +| 08. 06. 2022 | holiday || +| 15. 06. 2022 | ||| +| 22. 06. 2022 | ||| +| 29. 06. 2022 | ||| +| 06. 07. 2022 | ||| +| 13. 07. 2022 | ||| +| 20. 07. 2022 | ||| + +##### Topics + +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. + +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) | -**Correction**: Some dates below were off-by-1 and have been corrected. The seminar will take place on **Thursdays**. +##### For the record: WS 2022/23 |Datum|Sprecher|Thema|Notiz| |-----|--------|-----|----| @@ -75,31 +113,6 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i | 02. 02. 2023 |cancelled | | | 07. 02. 2023 | Ahmed Mamdouh | Functional programming with bananas, lenses, envelopes and barbed wire | seminar presentation -##### Vortragsthemen - -Themen werden mit dem Dozenten individuell ausgemacht, typischerweise in den ersten Seminarterminen. -Vorschläge von Studenten sind möglich. - -Zur groben Orientierung ist hier eine repräsentative Auswahl von nicht belegten Themen der letzten Jahre: - -|Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin| -|-----|-------|-----|-------|---------| -| Distributed Ontology Language || Semantic Web needs Theory Graphs|| -| Argumentation Logics | various topics|| -| Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)|relativ einfach, aber Logik-lastig| | | -| MathLang| Kamareddine | | | -| Formula Parsing | Ginev M.Sc., Pichler MSc., various AITP papers | relativ einfach | | -| Knowledger Representation/AI for Hanabi | google | medium | | -| Functional programming with bananas, lenses, envelopes and barbed wire| [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming| -| MitM Foundation | | medium | | | -| LF + Intersection Types | | advanced| | -| McAllister-Foundation || with Voldemort's Theorem (difficult) ||| - -Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung) -statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns, -auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum -abonnieren! - ##### For the record: SS 2022 |Datum|Sprecher|Thema|Notiz|