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
06.07.2020 Nils Jung Magic set based evaluation of datalog with negation  Master-Abschlussvortrag

22.06.2020

 

Jan Beier

Marko Schmellenkamp

Zustandsoptimale Komplementierung von Büchi-Automaten

Devising high-level exercises for learning context-free languages with intelligent tutoring systems

Bachelor-Einführungsvortrag

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