From ab5e239b7a6829e4f4551aad0678903a795a4da3 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Mon, 29 Nov 2021 15:23:22 +0000
Subject: [PATCH] Update swuv.md

---
 courses/swuv.md | 25 +++++++++++++++++--------
 1 file changed, 17 insertions(+), 8 deletions(-)

diff --git a/courses/swuv.md b/courses/swuv.md
index 5929a96..f8d5dde 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -21,18 +21,27 @@ semesters:
 
 ##### Das Seminar findet ab WS 2021/22 wieder in Präsenz statt
 
-Dieses Seminar behandelt ausgewählte Themen aus dem Gebiet der Wissensrepräsentation und
--Verarbeitung, mit einem Fokus auf mathematischem Wissen.
+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
 
-Die Vortragsthemen sind sehr unterschiedlich im Schwierigkeitsgrad, sie reichen von
-Einführungsthemen für ambitionierte Bachelor-Studenten bis zur Forschungsfront für
-Doktoranden. Sie spiegeln recht gut die Forschungsinteressen der
-[KWARC Gruppe](http://kwarc.info) wieder. Daher ist dieses Seminar sehr gut geeignet um in
-die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). 
+* 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 particualr, 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.
 
 *Seminartermin/-ort*: Donnerstag 14:15-15:45
 
-Studenten, die nicht persönlich teilnehmen können, sollten zum ersten Termin per Zoom erscheinen unter:
+*The seminar will be online-only until further notice.*
+
 * zoom meeting room <https://fau.zoom.us/j/93424820605?pwd=d3N0M3pkVDBKclBnN3NzVnYwY3hGUT09>
 * meeting ID: 934 2482 0605
 * password: 027214
-- 
GitLab