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

 

Wintersemester 2020/2021

Datum Vortragende/r Titel des Vortrags Art des Vortrags
16.11.2020 Janine Frickenschmidt Answer Set Programming für verhaltenskontrolle im Roboterfußball Master-Abschlussvortrag
09.11.2020

Jan Beier

Benedikt Smit

Zustandsoptimale Komplementierung von Büchi-Automaten

Aufteilungskorrektheit für Abschnittsanfragen

Bachelor-Abschlussvortrag

Bachelor-Abschlussvortrag

02.11.2020

Alicia Gayda

Ungewöhnliche Automatenmodelle für kontextfreie Sprachen

 

Bachelor-Abschlussvortrag

26.10.2020

Marko Schmellenkamp

Jan Erik Swiadek

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

Aufzählungskomplexität von Vereinigungen konjunktiver Anfragen

Master-Abschlussvortrag

Bachelor-Abschlussvortrag

05.10.2020 Lorenzo Perez Veenstra Algorithmic Computation of c-Representations in LEG-Networks Master-Einführungsvortrag