Absolventenseminar

 

Veranstalter Lehrstuhl Informatik I - Logik in der Informatik
Ort Otto-Hahn-Str. 12 / Raum 3.031 bzw. Zoom-Meeting
Zeit Montags, 16:15 Uhr

 

Sommersemester 2020

Datum Vortragende/r Titel des Vortrags Art des Vortrags
22.06.2020 Jan Beier Zustandsoptimale Komplementierung von Büchi-Automaten Bachelor-Einführungsvortrag
08.06.2020

Benedikt Smit

Jan Erik Swiadek

Aufteilungskorrektheit für Abschnittsanfragen

Aufzählungskomplexität von Vereinigungen konjunktiver Anfragen

Bachelor-Einführungsvortrag

Bachelor-Einführungsvortrag

25.05.2020

 

Alicia Gayda

Henning Müller

Ungewöhnliche Automatenmodelle für kontextfreie Sprachen

Parametrisierte Komplexität von regulären Pfad-Anfragen

Bachelor-Einführungsvortrag

Bachelor-Einführungsvortrag

18.05.2020 Janine Frickenschmidt

Answer Set Programming für Verhaltenskontrolle im Roboterfußball

Master-Einführungsvortrag
11.05.2020 Maximilian Gninka Komplexität der Auswertung von Pfadanfragen für Graphdatenbanken Bachelor-Abschlussvortrag
27.04.2020 Patrick Roy Quantum Query Complexity of Regular Languages Bachelor-Einführungsvortrag