Seminar „Games and Graphs“
Seminar „Games and Graphs“
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) im WS 2026
Dozent
Umfang (SWS)
- 0/2/0
Sprache
- auf Englisch
Module
The topic of this seminar are infinite-duration games that are played between two or more players on a graph structure. Such games can be used to model a wide range of multi-agent systems or as theoretical tools in areas like logic and complexity theory. Hence, they play an important role in theoretical computer science, in particular in verification and synthesis. The topics of the seminar address various forms of these games with different objectives and properties and algorithms to solve them.
Many of the topics can be found in the book “Games on graphs: From logic and automata to algorithms” edited by Fijalkow et al. (2025).
Anmeldung
Für die Teilnahme ist eine Registrierung via Opal bis zum 19. Oktober erforderlich. Wir verlinken zum Opal-Kurs, sobald dieser eingerichtet ist.
Voraussetzungen
Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.
Termine
Alle fristgerecht in Opal registrierten Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. In dieser wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.
Die geforderten Vorträge werden als Blockveranstaltung im Zeitraum Januar-März 2027 stattfinden. Die genauen Termine werden zu einem späteren Zeitpunkt bekanntgegeben.
Die schriftliche Ausarbeitung ist bis zum 28. Februar 2027 einzureichen.
Prüfungsleistung
Master Computer Science (PO 2025)
- INF-25-Ma-FTK-Sem: Komplexe Leistung (40 hours)
Diplom Informatik (PO 2025)
- INF-25-Ma-FTK-Sem: Komplexe Leistung (40 hours)
Als Komplexe Leistung ist eine Präsentation in Form eines Kolloquiums sowie die Ausarbeitung einer Seminararbeit vorgesehen.
Kontakt
Bei organisatorischen Fragen wenden Sie sich bitte an Jakob Piribauer.
