From aec133a0afe9a1c328eb3f2f211f8a7f1171385f Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 17 Oct 2024 13:36:55 +0200
Subject: [PATCH] more for the new semester
---
courses/swuv.md | 88 ++++++++++++++++++++++++++++++++-----------------
1 file changed, 57 insertions(+), 31 deletions(-)
diff --git a/courses/swuv.md b/courses/swuv.md
index 4092251..b1404d8 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -21,6 +21,8 @@ semesters:
- SS23
- WS23/24
- SS24
+ - WS24/25
+ - SS25
---
##### Administrative
@@ -37,7 +39,61 @@ If we need to do it via zoom, we will use the following room:
* meeting ID: 934 2482 0605
* password: 027214
-##### Schedule SS 2024
+###### Topics
+
+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):
+1. [Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) accessible from the
+ FAU network
+2. [Harrison: Handbook of practical Logic](Harrison_handbook-of-practical-logic.pdf)
+3. [Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf)
+
+Students can choose consecutive sections/chapters of about 15-20 pages and report on the
+contents. We prefer to make coordinated groups of talks, starting in the order given
+above (easy talks are early!).
+
+##### Schedule WS 2024/25
+
+|Date|Speaker|Topic|Remark|
+|----|-------|-----|------|
+| 17. 04. 2024 | Kohlhase | Admin, discussion of topics ||
+| 24. 04. 2024 | | How to read a paper? ||
+| 01. 05. 2024 | holiday ||
+| 08. 05. 2024 | | How to give a presentation |
+| 15. 05. 2024 | | |
+
+##### 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.
+Typical topics involve
+
+* formal languages (logics, programming languages, data description languages, ontologies, informal scientific languages, ...)
+* tools for working with and applying such languages, both in general and domain-specific ones
+* libraries of formal knowledge and systems for building, maintaining, and managing them
+* knowledge-based services like search or user interfaces
+
+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.
+
+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.
+
+
+##### 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.
+
+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 2024
|Date|Speaker|Topic|Remark|
|----|-------|-----|------|
@@ -78,36 +134,6 @@ If we need to do it via zoom, we will use the following room:
| | Bhupali Chakraborty | Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks |
-##### 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.
-Typical topics involve
-
-* formal languages (logics, programming languages, data description languages, ontologies, informal scientific languages, ...)
-* tools for working with and applying such languages, both in general and domain-specific ones
-* libraries of formal knowledge and systems for building, maintaining, and managing them
-* knowledge-based services like search or user interfaces
-
-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.
-
-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.
-
-
-##### 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.
-
-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 WS 2023/2024
--
GitLab