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 |