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 Sommersemester 2024
Datum | Vortragende/r | Titel des Vortrags | Art des Vortrags |
15.04.2024 | Muhammad Raafey Tariqs Larissa Papp (hybrid) | Autocut GPT: Creating video highlights using LLMs as controllers for deep learning models Forgetting-Operatoren für totale Präordnungen | Master-Einführungsvortrag (engl.) Bachelor-Einführungsvortrag |
22.04.2024 | Ariane Blank | Bisimulationsäquivalenz von Kellerautomaten | Bachelor-Abschlussvortrag |
13.05.24 | Lukas Pradel | Learnability of Regular Path Queries | Master-Abschlussvortrag (engl.) |