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 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