Zum Inhalt
Fakultät für Informatik

Bachelor- und Masterseminar

Das Bachelor- und Masterseminar findet bis auf weiteres online 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

Aktuelle Termine im Wintersemester 2023/2024

Datum Vortragende/r Titel des Vortrags Art des Vortrags
30.10.2023
(via Zoom)
Lukas Wilde Deterministische Top-Down-Baumautomaten: Modelle,
Ausdrucksstärke und Komplexität
Bachelor-Abschlussvortrag
  Lisa Henneberg Lösen von abstrakten Argumentationsproblemen mittels Quantifizierter Boolescher Formeln Bachelor-Abschlussvortrag
20.11.2023 Tom Voellmer Bounded Fitting in the Description Logic ALC Master-Einführungsvortrag
04.12.2023 Ekaterina Kudeiarova Zusammenhang zwischen Default-Logik und  Antwortmengenprogrammierung Bachelor-Abschlussvortrag
11.12.2023 Ariane Blank Bisimulationsäquivalenz von Kellerautomaten Bachelor-Einführungsvortrag
22.01.2024 Aritra Paul Mining Frequent Concepts in the Description Logic EL Master-Einführungsvertrag