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