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

INF-25-Ma-FTK-Sem

Information

Die Lehrveranstaltung wird auf Englisch gehalten. Daher ist die folgende Beschreibung ebenfalls auf Englisch.

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

Die Seminarplätze für das Modul INF-25-Ma-FTK-Sem „Seminar Theoretical Computer Science and Symbolic Artificial Intelligence“ werden zentral zugewiesen. Hierbei werden Ihre Präferenzen berücksichtigt. Wenn Sie unser Seminar belegen möchten, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus und geben Ihre Präferenz entsprechend an: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.

Voraussetzungen

Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.

Termine

Alle Studierenden, die fristgerecht die obige Umfrage ausgefüllt haben, werden nach Auswertung aller Anmeldungen per E-Mail informiert, welches Seminar ihnen zugeteilt wurde. Den Teilnehmer:innen unseres Seminars wird zudem der Termin unserer Auftaktveranstaltung mitgeteilt, nach der allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen wird. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

Die geforderten Vorträge und Fragenrunden werden als Blockveranstaltung im Zeitraum Januar-März 2027 stattfinden. Die genauen Termine werden zu einem späteren Zeitpunkt bekanntgegeben.

Prüfungsleistung

Master Computer Science (PO 2025)

INF-25-Ma-FTK-Sem: Komplexe Leistung (40 Stunden)

Diplom Informatik (PO 2025)

INF-25-Ma-FTK-Sem: Komplexe Leistung (40 Stunden)

Als Komplexe Leistung ist ein Folienvortrag (25 Minuten) sowie eine mündliche Fragenrunde (15 Minuten) vorgesehen.

Kontakt

Bei organisatorischen Fragen senden Sie eine E-Mail an studies_alg@mailbox.tu-dresden.de.