Bachelor- und Masterseminar
Das Bachelor- und Masterseminar findet in Präsenz statt.
Allgemeines
Veranstalter | Lehrstuhl Informatik I - Logik in der Informatik |
Ort | Otto-Hahn-Str. 12 / Raum 3.031 bzw. Zoom-Meeting |
Zeit | Montags, 16:15 Uhr |
Termine im kommenden Wintersemester 2025/2026
Datum | Vortragende/r | Titel des Vortrags | Art des Vortrags |
03.11.2025 | Franz Nentwich (online via Zoom) | Komplexitätsuntersuchungen zur Implementation von c-Repräsentationen und c-Inferenz mit Hilfe von SMT | Master-Abschlussvortrag |
27.10.2025 | Michael Siebert Alexander Jörges | Optimale Separierung durch Beschreibungslogik-Konzepte Aussagenlogische Kodierung von Kardinalitätsconstraints | Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag |
20.10.2025 | Andreas Kovalski Johann Osing Simon Buschmann | A Comparison of Proof Systems for the Description Logic EL Das längste gemeinsame Präfix einer kontextfreien Sprache Aufzählung regulärer Sprachen mit beschränkter Verzögerung | Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag |