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 |