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 |
06.05.2024 | Patrick Pawelczyk Pia Imiolczyk | Überwachtes Lernen von prädikatenlogischen Formeln in Pränexform Spiele für Logiken mit Zählquantoren | Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag |
13.05.24 | Lukas Pradel Tom Voellmer | Learnability of Regular Path Queries Bounded Fitting for the Description Logic ALC | Master-Einführungsvortrag (engl.) Master-Abschlussvortrag (engl.) |
24.06.2024 | Nils Schneider Daniel Albert | Priorisierte Aufzählung von Und-Anfrage-Ergebnissen On parallel constant-time string algorithms | Bachelor-Einführungsvortrag Master-Einführungsvortrag |
08.07.2024 | Deborah Krumm (via Zoom) | Wissensmodellierung für logistische Layoutplanung unter kognitiven Aspekten | Master-Einführungsvortrag |
05.08.2024 | Paul, Aritra | Mining Frequent Concepts in EL using the A-Priori Algorithm | Master-Abschlussvortrag (engl.) |