Seminar “Games and Graphs”
Seminar “Games and Graphs”
Course with SWS 0/2/0 (lecture/exercise/practical) in WS 2026
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).
Registration
Seminar places for the module INF-25-Ma-FTK-Sem “Seminar Theoretical Computer Science and Symbolic Artificial Intelligence” will be assigned centrally, based on students’ preferences. To register for our seminar, please indicate your preference in the poll available at https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922 by October 18, 2026.
Prerequisites
For the seminar, profound knowledge in theoretical computer science and logics is presumed.
Dates
All students who have filled out the above survey by the due date will be notified by e-mail about the seminar assigned to them. Participants of our seminar will additionally be informed about the date and place of our initial meeting. Each participant will then receive a topic and get a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.
The required presentations and question-and-answer sessions will be held en bloc between January and March 2027. The specific dates will be announced later.
Examination
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)
The Komplexe Leistung (complex or multi-part examination) consists of a presentation (25 minutes) and an oral question-and-answer session (15 minutes).
Contact
In case of organizational questions, please send an e-mail to studies_alg@mailbox.tu-dresden.de.
