From 17b02f695a71c3b608843b2b5e822b72943764c5 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 17 Oct 2024 13:57:36 +0200
Subject: [PATCH] fix?
---
courses/swuv.md | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/courses/swuv.md b/courses/swuv.md
index a75974b..9e59427 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -22,7 +22,7 @@ semesters:
- WS23/24
- SS24
- WS24/25
- - SS25
+ - SS25
---
##### Administrative
@@ -80,7 +80,9 @@ 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.
+-->
<!-- ##### Flow of the Seminar and Grading Requirements
@@ -92,7 +94,9 @@ Additionally every student prepares a report about their topic. The grades is ba
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
--
GitLab