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 |