diff --git a/courses/swuv.md b/courses/swuv.md index 5929a965774dda2a861a3bc4f5eb2269e96621a7..f8d5dded6107868c3108b73d5e968fbc894b5650 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