Zum Inhalt
Fakultät für Informatik

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