International Center for Computational Logic - Benutzerbeiträge [de]

Seminar Games and Graphs (WS2026)

2026-10-02T14:05:20Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Games and Graphs“
|Title_EN=Seminar “Games and Graphs”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

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 [https://arxiv.org/abs/2305.10546 “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 AI“ werden zentral verteilt. Hierbei berücksichtigen wir Ihre Präferenzen. Um an dem Seminar teilzunehmen, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.

=== Voraussetzungen ===

Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.

=== Termine ===

Alle Teilnehmer:innen, die fristgerecht die obige Umfrage ausgefüllt haben, werden im Anschluss per Email informiert, welches Seminar ihnen zugeteilt wurde. Im Anschluss wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mitdem 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|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 [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

|Description_EN=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 [https://arxiv.org/abs/2305.10546 “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 AI" will be assigned based on students’ preferences. To register for this 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 participants who have filled out the above survey by the due date will be notified by email about the seminar assigned to them. Each participant will then be assigned a topic and 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|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 [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

}}

Seminar Selected Topics in Logic and Verification (WS2026)

2026-10-02T14:05:18Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Selected Topics in Logic and Verification“
|Title_EN=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-Sem, CMS-SEM
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

This seminar is mainly intended for students enrolled in the ''Master Computer Science'' and ''Diplom Informatik'' programs.

=== Anmeldung ===

Die Seminarplätze für das Modul INF-25-Ma-FTK-Sem „Seminar Theoretical Computer Science and Symbolic AI“ werden zentral verteilt. Hierbei berücksichtigen wir Ihre Präferenzen. Um an dem Seminar teilzunehmen, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.

=== Voraussetzungen ===

Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.

=== Termine ===

Alle Teilnehmer:innen, die fristgerecht die obige Umfrage ausgefüllt haben, werden im Anschluss per Email informiert, welches Seminar ihnen zugeteilt wurde. Im Anschluss wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mitdem 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

Als Komplexe Leistung ist ein Tafelvortrag (45 Minuten) sowie eine mündliche Fragenrunde (10 Minuten) vorgesehen.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}: Tafelvortrag (45 Minuten) und mündliche Fragenrunde (10 Minuten)

=== Kontakt ===

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

|Description_EN=In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

This seminar is mainly intended for students enrolled in the ''Master Computer Science'' and ''Diplom Informatik'' programs.

=== Registration ===

Seminar places for the module INF-25-Ma-FTK-Sem “Seminar Theoretical Computer Science and Symbolic AI" will be assigned based on students’ preferences. To register for this 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 participants who have filled out the above survey by the due date will be notified by email about the seminar assigned to them. Each participant will then be assigned a topic and 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a blackboard presentation (45 minutes) and an oral question-and-answer session (10 minutes).

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}: blackboard presentation (45 minutes) and oral question-and-answer session (10 minutes)

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

}}

Seminar Games and Graphs (WS2026)

2026-10-02T13:58:25Z

Johannes Lehmann:

Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-22T11:15:44Z

Johannes Lehmann:

{{Vorlesung
|Title=Großer Beleg
|Title_EN=Student Research Project (Großer Beleg)
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-GB
|SWSLecture=0
|SWSExercise=0
|SWSPractical=100h
|Description=Im Rahmen der Lehrveranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte der Große Beleg in Kombination mit dem Belegseminar am Lehrstuhl belegt werden. Er kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Wenn Sie den Großen Beleg an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-GB}}: Komplexe Leistung (180 Stunden)

Als Komplexe Leistung sind eine Belegarbeit, eine Präsentation (25 Minuten) und eine mündliche Fragenrunde (15 Minuten) vorgesehen.

=== Kontakt ===

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

|Description_EN=In this course, you will work on a topic related to current research projects of the chair. An overview of these projects is given on the [[Algebraische und logische Grundlagen der Informatik/en|chair's website]] under the tab ''Active Projects''.

The Student Research Project is generally intended to be combined with the Student Project Seminar. However, it can also be taken independently thereof.

=== Registration ===

If you want to take the Student Research Project with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-GB}}: ''Komplexe Leistung'' (180 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a ''Belegarbeit'' (written project), 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 [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-22T11:15:06Z

Johannes Lehmann:

{{Vorlesung
|Title_EN=Exploration of a Research Subject
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-ERS
|SWSLecture=0
|SWSExercise=0
|SWSPractical=40h
|Description=Im Rahmen der Lehrveranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

''Exploration of a Research Subject'' kann in Kombination mit einer Abschlussarbeit belegt werden oder unabhängig davon.

=== Anmeldung ===

Wenn Sie ''Exploration of a Research Subject'' an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===
'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-ERS}}: Komplexe Leistung (80 Stunden)

Als Komplexe Leistung ist eine Präsentation inkl. Fragenrunde (30 Minuten) sowie eine schriftliche Zusammenfassung (ca. 10 Seiten) vorgesehen.

=== Kontakt ===

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

|Description_EN=In this course, you will work on a topic related to current research projects of the chair. An overview of these projects is given on the [[Algebraische und logische Grundlagen der Informatik/en|chair's website]] under the tab ''Active Projects''.

''Exploration of a Research Subject'' can be combined with a thesis at the chair or taken independently thereof.

=== Registration ===

If you want to take ''Exploration of a Research Subject'' with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===
'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-ERS}}: ''Komplexe Leistung'' (80 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation incl. question-and-answer session (30 minutes) and a written report (approx. 10 pages).

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-22T11:14:32Z

Johannes Lehmann:

{{Vorlesung
|Title=Belegseminar
|Title_EN=Student Project Seminar (Belegseminar)
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-BSem
|SWSLecture=0
|SWSExercise=4
|SWSPractical=0
|Description=Im Rahmen des Belegseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte das Belegseminar in Kombination mit dem Großen Beleg am Lehrstuhl belegt werden. Es kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Wenn Sie das Belegseminar an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-BSem}}: Komplexe Leistung (50 Stunden)

Als Komplexe Leistung ist eine Präsentation inkl. Fragenrunde (25 Minuten) sowie eine schriftliche Zusammenfassung (5-8 Seiten) vorgesehen.

=== Kontakt ===

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

|Description_EN=In this course, you will work on a topic related to current research projects of the chair. An overview of these projects is given on the [[Algebraische und logische Grundlagen der Informatik/en|chair's website]] under the tab ''Active Projects''.

The Student Project Seminar is generally intended to be combined with the ''Großer Beleg''. However, it can also be taken independently thereof.

=== Registration ===

If you want to take the Student Project Seminar with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-BSem}}: ''Komplexe Leistung'' (50 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation incl. question-and-answer session (25 minutes) and a written report (5 to 8 pages).

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-22T11:14:08Z

Johannes Lehmann:

{{Vorlesung
|Title=Bachelorseminar
|Title_EN=Bachelor Seminar
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-BaSe
|SWSLecture=0
|SWSExercise=4
|SWSPractical=0
|Description=Im Rahmen des Bachelorseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte das Bachelorseminar in Kombination mit einer Bachelorarbeit am Lehrstuhl belegt werden. Es kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Wenn Sie das Bachelorseminar an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: Komplexe Leistung (50 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: Komplexe Leistung (50 Stunden)

Als Komplexe Leistung ist eine Präsentation inkl. Fragenrunde (25 Minuten) sowie eine schriftliche Zusammenfassung (5-8 Seiten) vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
|Description_EN=In this course, you will work on a topic related to current research projects of the chair. An overview of these projects is given on the [[Algebraische und logische Grundlagen der Informatik/en|chair's website]] under the tab ''Active Projects''.

The Bachelor Seminar is generally intended to be combined with a bachelor's thesis. However, it can also be taken independently thereof.

=== Registration ===

If you want to take the Bachelor Seminar with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: ''Komplexe Leistung'' (50 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: ''Komplexe Leistung'' (50 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation incl. question-and-answer session (25 minutes) and a written report (5 to 8 pages).

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-22T11:13:45Z

Johannes Lehmann:

{{Vorlesung
|Title=Analyse eines Forschungsthemas
|Title_EN=Analysis of a Research Topic
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-AFT
|SWSLecture=0
|SWSExercise=0
|SWSPractical=40h
|UmfangAlternativ=Projekte (40 Stunden)
|Description=Im Rahmen der Lehrveranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

''Analyse eines Forschungsthemas'' kann in Kombination mit einer Abschlussarbeit belegt werden oder unabhängig davon.

=== Anmeldung ===

Wenn Sie ''Analyse eines Forschungsthemas'' an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-AFT}}: Komplexe Leistung (80 Stunden)

Als Komplexe Leistung ist eine Präsentation inkl. Fragenrunde (30 Minuten) sowie eine schriftliche Zusammenfassung (ca. 10 Seiten) vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
|Description_EN=In this course, you will work on a topic related to current research projects of the chair. An overview of these projects is given on the [[Algebraische und logische Grundlagen der Informatik/en|chair's website]] under the tab ''Active Projects''.

''Analysis of a Research Topic'' can be combined with a thesis at the chair or taken independently thereof.

=== Registration ===

If you want to take ''Analysis of a Research Topic'' with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-AFT}}: ''Komplexe Leistung'' (80 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation incl. question-and-answer session (30 minutes) and a written report (approx. 10 pages).

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Algebraische und logische Grundlagen der Informatik/Abschlussarbeiten/en

2026-09-22T11:09:51Z

Johannes Lehmann:

We offer bachelor's, master's and ''Diplom'' theses as well as the ''Großer Beleg'' (Student Research Project). The topics are usually closely related to our current research projects. The Bachelorseminar is intended to be taken in conjunction with a bachelor's thesis and the Belegseminar is intended to be taken in conjunction with a ''Großer Beleg'' (see below).

If you are interested in writing your thesis at our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

Algebraische und logische Grundlagen der Informatik/Abschlussarbeiten

2026-09-22T11:09:26Z

Johannes Lehmann:

Wir bieten Bachelor-, Master- und Diplomarbeiten sowie den großen Beleg an. Die Themen der Arbeiten haben in der Regel einen engen Bezug zu aktuellen Forschungsprojekten des Lehrstuhls. Zur Vorbereitung auf die Bachelorarbeit dient das Bachelorseminar und zur Vorbereitung auf den großen Beleg das Belegseminar (siehe unten).

Bei Interesse an einer Abschlussarbeit senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

Proseminar Theoretische Informatik (WS2026)

2026-09-11T08:29:43Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Theoretische Informatik“
|Title_EN=Proseminar “Theoretische Informatik”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-WIA
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.mit.edu/9780262046305/introduction-to-algorithms/ „Introduction to Algorithms“] von Cormen, Leiserson, Rivest und Stein, [https://www-cs-faculty.stanford.edu/~knuth/gkp.html „Concrete Mathematics“] von Graham, Knuth und Patashnik sowie [https://diestel-graph-theory.com/german/index.html „Graphentheorie“] von Diestel betrachtet.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075267 via Opal] bis zum 12. Oktober erforderlich.

=== Voraussetzungen ===

Neben dem Interesse an theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.

=== Termine ===

Die Auftaktveranstaltung findet voraussichtlich am 15. oder 16. Oktober statt. Details werden allen fristgerecht in Opal eingeschriebenen Teilnehmer:inne per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Das weitere Vorgehen wird individuell mit dem Betreuer besprochen.

Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 14. März 2027 einzureichen.

=== Prüfungsleistung ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

Als Komplexe Leistung ist eine  Präsentation in Form eines Kolloquiums sowie die Ausarbeitung einer  Seminararbeit vorgesehen.

=== Kontakt ===

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

|Description_EN=
{{MissingTranslation|Language=en}}

Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.mit.edu/9780262046305/introduction-to-algorithms/ „Introduction to Algorithms“] von Cormen, Leiserson, Rivest und Stein, [https://www-cs-faculty.stanford.edu/~knuth/gkp.html „Concrete Mathematics“] von Graham, Knuth und Patashnik sowie [https://diestel-graph-theory.com/german/index.html „Graphentheorie“] von Diestel betrachtet.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075267 via Opal] is required until October 12.

=== Prerequisites ===

Besides an interest in theoretical computer science, the ''Proseminar'' requires solid foundations in algorithms and data structures as well as mathematics as covered in the first two semesters of the study program.

=== Dates ===

The initial meeting will be held on October 15 or 16. All participants registered in Opal by the due date will be notified about the details by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

The required presentations will be held en bloc between January and March 2027. The specific dates will be announced later.

The written paper is due by March 14, 2027.

=== Examination ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

}}

Seminar Selected Topics in Logic and Verification (WS2026)

2026-09-11T08:28:39Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Selected Topics in Logic and Verification“
|Title_EN=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=CMS-SEM, INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

Dieses Seminar richtet sich in erster Linie an Studierende der Studiengänge Master Computer Science und Diplom Informatik.

=== 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. Anschließend 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

Als Komplexe Leistung ist eine  Präsentation in Form eines Kolloquiums sowie die Ausarbeitung einer  Seminararbeit vorgesehen.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}:  Präsentation und  Seminararbeit

=== Kontakt ===

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

|Description_EN=In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

This seminar is mainly intended for students enrolled in the Master Computer Science and Diplom Informatik programs.

=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initital meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between Januar and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}:  presentation and  seminar paper

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

}}

Seminar Games and Graphs (WS2026)

2026-09-11T08:28:34Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Games and Graphs“
|Title_EN=Seminar “Games and Graphs”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

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 [https://arxiv.org/abs/2305.10546 “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. Anschließend 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

Als Komplexe Leistung ist eine  Präsentation in Form eines Kolloquiums sowie die Ausarbeitung einer  Seminararbeit vorgesehen.

=== Kontakt ===

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

|Description_EN=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 [https://arxiv.org/abs/2305.10546 “Games on graphs: From logic and automata to algorithms”] edited by Fijalkow et al. (2025).
=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between January and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

}}

Proseminar Binäre Entscheidungsgraphen (WS2026)

2026-09-11T08:25:43Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Binäre Entscheidungsgraphen“
|Title_EN=Proseminar “Binäre Entscheidungsgraphen”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-WIA
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstellung von Schaltfunktionen vorgestellt. Heutzutage werden verschiedene Varianten von ''ordered BDDs'' in zahlreichen Verifikationswerkzeugen und Model Checkern wie z. B. nuSMV oder Prism als Datenstruktur zur effizienten Speicherung und Analyse von Systemmodellen eingesetzt.

Die individuell zu bearbeitenden Seminarthemen befassen sich mit den theoretischen Grundlagen binärer Entscheidungsgraphen. Insbesondere sollen die wichtigsten Operatoren und Algorithmen auf BDDs vorgestellt und hinsichtlich ihrer theoretischen Komplexität untersucht werden.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075268 via Opal] bis zum 12. Oktober erforderlich.

=== Voraussetzungen ===

Neben dem Interesse an theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.

=== Termine ===

Die Auftaktveranstaltung findet voraussichtlich am 15. oder 16. Oktober statt. Details werden allen fristgerecht in Opal eingeschriebenen Teilnehmer:inne per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Das weitere Vorgehen wird individuell mit dem Betreuer besprochen.

Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 14. März 2027 einzureichen.

=== Prüfungsleistung ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

Als Komplexe Leistung ist eine  Präsentation in Form eines Kolloquiums sowie die Ausarbeitung einer  Seminararbeit vorgesehen.

=== Kontakt ===

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

|Description_EN=
{{MissingTranslation|Language=en}}

Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstellung von Schaltfunktionen vorgestellt. Heutzutage werden verschiedene Varianten von ''ordered BDDs'' in zahlreichen Verifikationswerkzeugen und Model Checkern wie z. B. nuSMV oder Prism als Datenstruktur zur effizienten Speicherung und Analyse von Systemmodellen eingesetzt.

Die individuell zu bearbeitenden Seminarthemen befassen sich mit den theoretischen Grundlagen binärer Entscheidungsgraphen. Insbesondere sollen die wichtigsten Operatoren und Algorithmen auf BDDs vorgestellt und hinsichtlich ihrer theoretischen Komplexität untersucht werden.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075268 via Opal] is required until October 12.

=== Prerequisites ===

Besides an interest in theoretical computer science, the ''Proseminar'' requires solid foundations in algorithms and data structures as well as mathematics as covered in the first two semesters of the study program.

=== Dates ===

The initial meeting will be held on October 15 or 16. All participants registered in Opal by the due date will be notified about the details by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

The required presentations will be held en bloc between January and March 2027. The specific dates will be announced later.

The written paper is due by March 14, 2027.

=== Examination ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

}}

Proseminar Theoretische Informatik (WS2026)

2026-09-11T08:25:40Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Theoretische Informatik“
|Title_EN=Proseminar “Theoretische Informatik”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-WIA
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.mit.edu/9780262046305/introduction-to-algorithms/ „Introduction to Algorithms“] von Cormen, Leiserson, Rivest und Stein, [https://www-cs-faculty.stanford.edu/~knuth/gkp.html „Concrete Mathematics“] von Graham, Knuth und Patashnik sowie [https://diestel-graph-theory.com/german/index.html „Graphentheorie“] von Diestel betrachtet.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075267 via Opal] bis zum 12. Oktober erforderlich.

=== Voraussetzungen ===

Neben dem Interesse an theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.

=== Termine ===

Die Auftaktveranstaltung findet voraussichtlich am 15. oder 16. Oktober statt. Details werden allen fristgerecht in Opal eingeschriebenen Teilnehmer:inne per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Das weitere Vorgehen wird individuell mit dem Betreuer besprochen.

Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 14. März 2027 einzureichen.

=== Prüfungsleistung ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

Als Komplexe Leistung ist eine  Präsentation in Form eines Kolloquiums sowie die Ausarbeitung einer  Seminararbeit vorgesehen.

=== Kontakt ===

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

|Description_EN=
{{MissingTranslation|Language=en}}

Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.mit.edu/9780262046305/introduction-to-algorithms/ „Introduction to Algorithms“] von Cormen, Leiserson, Rivest und Stein, [https://www-cs-faculty.stanford.edu/~knuth/gkp.html „Concrete Mathematics“] von Graham, Knuth und Patashnik sowie [https://diestel-graph-theory.com/german/index.html „Graphentheorie“] von Diestel betrachtet.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075267 via Opal] is required until October 19.

=== Prerequisites ===

Besides an interest in theoretical computer science, the ''Proseminar'' requires solid foundations in algorithms and data structures as well as mathematics as covered in the first two semesters of the study program.

=== Dates ===

The initial meeting will be held on October 15 or 16. All participants registered in Opal by the due date will be notified about the details by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

The required presentations will be held en bloc between January and March 2027. The specific dates will be announced later.

The written paper is due by March 14, 2027.

=== Examination ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

}}

Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-11T08:20:54Z

Johannes Lehmann:

{{Vorlesung
|Title=Großer Beleg
|Title_EN=Student Research Project (Großer Beleg)
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-GB
|SWSLecture=0
|SWSExercise=0
|SWSPractical=100h
|Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte der Große Beleg in Kombination mit dem Belegseminar am Lehrstuhl belegt werden. Er kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Wenn Sie den Großen Beleg an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-GB}}: Komplexe Leistung (180 Stunden)

Als Komplexe Leistung ist eine Belegarbeit und eine Präsentation  vorgesehen.

=== Kontakt ===

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

|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

The Student Research Project is intended to be taken in combination with a Student Project Seminar. However, it can also be taken independently thereof.

=== Registration ===

If you want to take the Student Research Project with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-GB}}: ''Komplexe Leistung'' (180 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a report and a presentation. 

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-11T08:19:19Z

Johannes Lehmann:

{{Vorlesung
|Title=Forschungsprojekt
|Title_EN=Research Project
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FP
|SWSLecture=0
|SWSExercise=0
|SWSPractical=100h
|Description=Das Forschungsprojekt ist angedacht für Studierende der Studiengänge ''Master Computer Science'' und ''Diplom Informatik''. Teilnehmende bearbeiten ausgewählte Themen aus den Bereichen Model Checking, Automatentheorie und Logik mit dem Ziel, Fähigkeiten für ihre forschungsorientierte Spezialisierung und unabhängige Forschungsarbeiten zu erwerben.

=== Anmeldung ===

Wenn Sie das Forschungsprojekt an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)

Als Komplexe Leistung ist eine Projektarbeit und eine Präsentation  vorgesehen.

=== Kontakt ===

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

|Description_EN=The Research Project is intended for students enrolled in the Master Computer Science and Diplom Informatik programs. Participants study selected topics from the fields of model checking, automata theory and logics. The purpose of this course is for students to acquire skills for their research-oriented specialization and independent research work.

=== Registration ===

If you want to take the Research Project with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a project report and a presentation. 

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

}}

Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-11T08:17:57Z

Johannes Lehmann:

{{Vorlesung
|Title_EN=Exploration of a Research Subject
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-ERS
|SWSLecture=0
|SWSExercise=0
|SWSPractical=40h
|Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

''Exploration of a Research Subject'' kann in Kombination mit einer Abschlussarbeit belegt werden oder unabhängig davon.

=== Anmeldung ===

Wenn Sie ''Exploration of a Researchb Subject'' an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===
'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-ERS}}: Komplexe Leistung (80 Stunden)

Als Komplexe Leistung ist eine Präsentation  und eine  schriftliche Zusammenfassung vorgesehen.

=== Kontakt ===

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

|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

''Exploration of a Research Subject'' can be attended in combination with a thesis at the chair or separately.

=== Registration ===

If you want to take ''Exploration of a Research Subject'' with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===
'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-ERS}}: ''Komplexe Leistung'' (80 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation  and  a project report.

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

CMS Research Project Model Checking (WS2026)

2026-09-11T08:16:38Z

Johannes Lehmann:

{{Vorlesung
|Title=CMS-Forschungsprojekt „Model Checking“
|Title_EN=CMS Research Project “Model Checking”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=EN
|Term=WS
|Year=2026
|Module=CMS-PRO
|SWSLecture=0
|SWSExercise=0
|SWSPractical=12
|Description=
{{MissingTranslation|Language=de}}

This course offers advanced topics in the field of verification and model checking. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming as well as theoretical problems.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075266 via Opal] bis zum 19. Oktober erforderlich.

=== Voraussetzungen ===

* Profound knowledge in model checking, acquired in the lecture “Model Checking” or similar courses at other universities
* Solid foundations in algorithms and data structures, in automata theory and formal languages as well as in complexity theory
* Basic mathematical foundations
* Programming skills in Java or C/C++ are beneficial, unless you are interested in a purely theoretical topic

=== Termine ===

Alle fristgerecht in Opal registrierten Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert.

=== Prüfungsleistung ===
'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-PRO}}: Projektarbeit und 30-minütiges Referat

=== Kontakt ===

Bei organisatorischen Fragen senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
|Description_EN=This course offers advanced topics in the field of verification and model checking. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming as well as theoretical problems.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075266 via Opal] is required until October 19.

=== Prerequisites ===

* Profound knowledge in model checking, acquired in the lecture “Model Checking” or similar courses at other universities
* Solid foundations in algorithms and data structures, in automata theory and formal languages as well as in complexity theory
* Basic mathematical foundations
* Programming skills in Java or C/C++ are beneficial, unless you are interested in a purely theoretical topic

=== Dates ===

All participants registered in Opal by the due date will be notified about the initital meeting by e-mail.

=== Examination ===
'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-PRO}}: project report and 30-minute presentation

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-11T08:15:48Z

Johannes Lehmann:

{{Vorlesung
|Title=Belegseminar
|Title_EN=Student Project Seminar (Belegseminar)
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-BSem
|SWSLecture=0
|SWSExercise=4
|SWSPractical=0
|Description=Im Rahmen des Belegseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte das Belegseminar in Kombination mit einem großen Beleg am Lehrstuhl belegt werden. Es kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Wenn Sie das Belegseminar an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-BSem}}: Komplexe Leistung (50 Stunden)

Als Komplexe Leistung ist eine Präsentation  und eine  schriftliche Zusammenfassung vorgesehen.
=== Kontakt ===

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

|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

The Student Project Seminar is intended to be taken in combination with a ''Großer Beleg''. However, it can also be taken independently thereof.

=== Registration ===

If you want to take the Student Project Seminar with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-BSem}}: ''Komplexe Leistung'' (50 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation  and  a project report.

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-11T08:14:40Z

Johannes Lehmann:

{{Vorlesung
|Title=Bachelorseminar
|Title_EN=Bachelor Seminar
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-BaSe
|SWSLecture=0
|SWSExercise=4
|SWSPractical=0
|Description=Im Rahmen des Bachelorseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte das Bachelorseminar in Kombination mit einer Bachelorarbeit am Lehrstuhl belegt werden. Es kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Wenn Sie das Bachelorseminar an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: Komplexe Leistung (50 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: Komplexe Leistung (50 Stunden)

Als Komplexe Leistung ist eine Präsentation  und eine  schriftliche Zusammenfassung vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

The Bachelor Seminar is intended to be taken in combination with a bachelor's thesis. However, it can also be taken independently of a thesis.

=== Registration ===

If you want to take the Bachelor Seminar with our chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: ''Komplexe Leistung'' (50 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: ''Komplexe Leistung'' (50 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation  and  a project report.

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-11T08:12:56Z

Johannes Lehmann:

{{Vorlesung
|Title=Analyse eines Forschungsthemas
|Title_EN=Analysis of a Research Topic
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-AFT
|SWSLecture=0
|SWSExercise=0
|SWSPractical=40h
|UmfangAlternativ=Projekte (40 Stunden)
|Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

''Analyse eines Forschungsthemas'' kann in Kombination mit einer Abschlussarbeit belegt werden oder unabhängig davon.

=== Anmeldung ===

Wenn Sie ''Analyse eines Forschungsthemas'' an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Prüfungsleistung ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-AFT}}: Komplexe Leistung (80 Stunden)

Als Komplexe Leistung ist eine Präsentation  und eine  schriftliche Zusammenfassung vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen senden Sie eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

''Analysis of a Research Topic'' can be attended in combination with a thesis at the chair or separately.

=== Registration ===

If you want to take ''Analysis of a Research Topic'' with our Chair, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Examination ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-AFT}}: ''Komplexe Leistung'' (80 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation  and  a report.

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Lecture Modal Logic (WS2026)

2026-09-11T08:11:31Z

Johannes Lehmann:

{{Vorlesung
|Title=Vorlesung „Modal Logic“
|Title_EN=Lecture “Modal Logic”
|Research group=Algebraische und logische Grundlagen der Informatik
|Language=EN
|Lecturers=Jakob Piribauer
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-MoL
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

Modalities are expressions that quantify the truth of a statement, e.g. “possibly” and “necessarily”. Modal logics are simple, yet expressive formalisms that incorporate such modalities. The incorporated modalities offer a wide variety of possible readings such as temporal readings (“at some point in the future …”), epistemic readings (“the agent knows that …”) or readings talking about the dynamics of programs (“there is an execution of program P after which …”). Therefore, modal logics are applicable to various application domains and play an important role in computer science, philosophy, mathematics and linguistics, among others.

This course provides an introduction to the main concepts of modal logic with a focus on its role in computer science. It covers:
* syntax and semantics of modal logics,
* Kripke structures and Kripke frames,
* bisimulations,
* translations to first-order logic,
* frame definability,
* soundness and completeness results,
* complexity and decidability results,
* propositional dynamic logic.

===Literatur===

Die Vorlesung folgt dem Buch „Modal logic (Fourth printing with corrections)“ (P. Blackburn, M. de Rijke, Y. Venema; Modal logic (Fourth printing with corrections); Cambridge University Press; 2010). Dieses ist online über die [https://doi.org/10.1017/CBO9781107050884 SLUB] verfügbar.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075265 via Opal] bis zum 2. November erforderlich.

=== Voraussetzungen ===

Es werden Grundkenntnisse in Algorithmen, Komplexitätstheorie, Automatentheorie und Logik vorausgesetzt.

=== Termine ===

* Vorlesung: Dienstag, 13:00–14:30, APB E005
* Übung: Mittwoch, 13:00–14:30, APB E005

Die erste Vorlesung findet am 13. Oktober statt. Gelegentlich werden Übungen für Dienstag oder Vorlesungen für Mittwoch angesetzt. Diese Änderungen werden rechtzeitig bekanntgegeben.

=== Prüfungsleistung ===
'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MoL}}: 25-minütige mündliche Prüfung

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MoL}}: 25-minütige mündliche Prüfung

Gemäß Modulbeschreibung besteht die Modulprüfung aus einer nicht öffentlichen mündlichen Einzelprüfung von 25 Minuten Dauer. Die möglichen Prüfungstermine werden gegen Ende des Semesters in der Vorlesung bekannt gegeben. Um Ihren individuellen Prüfungstermin zu vereinbaren, kontaktieren Sie bitte die Sekretärin des Lehrstuhls, [[Andrea Kühn]], per E-Mail.

=== Kontakt ===

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

|Description_EN=Modalities are expressions that quantify the truth of a statement, e.g. “possibly” and “necessarily”. Modal logics are simple, yet expressive formalisms that incorporate such modalities. The incorporated modalities offer a wide variety of possible readings such as temporal readings (“at some point in the future …”), epistemic readings (“the agent knows that …”) or readings talking about the dynamics of programs (“there is an execution of program P after which …”). Therefore, modal logics are applicable to various application domains and play an important role in computer science, philosophy, mathematics and linguistics, among others.

This course provides an introduction to the main concepts of modal logic with a focus on its role in computer science. It covers:
* syntax and semantics of modal logics,
* Kripke structures and Kripke frames,
* bisimulations,
* translations to first-order logic,
* frame definability,
* soundness and completeness results,
* complexity and decidability results,
* propositional dynamic logic.

===Literature===

The course follows the book “Modal logic (Fourth printing with corrections)” (P. Blackburn, M. de Rijke, Y. Venema; Modal logic (Fourth printing with corrections); Cambridge University Press; 2010). This book is available online via the [https://doi.org/10.1017/CBO9781107050884 SLUB].

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075265 via Opal] is required until November 2.

=== Prerequisites ===

For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.

=== Dates ===

* Lecture: Tuesdays, 13:00–14:30, APB E005
* Exercise: Wednesdays, 13:00–14:30, APB E005

The first lecture will be held on October 13. Occasionally, there might be exercises on Tuesdays or lectures on Wednesdays, which will be announced in advance.

=== Examination ===
'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MoL}}: 25-minute oral exam

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MoL}}: 25-minute oral exam

According to the module description, the exam is a non-public individual oral examination lasting 25 minutes. Potential exam dates will be announced towards the end of the semester. The individual exam appointments can then be arranged by e-mailing our secretary, [[Andrea Kühn]].

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Lecture Model Checking (WS2026)

2026-09-11T08:10:21Z

Johannes Lehmann:

{{Vorlesung
|Title=Vorlesung „Model Checking“
|Title_EN=Lecture “Model Checking”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Sascha Klüppelholz
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-MC
|SWSLecture=4
|SWSExercise=4
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

Model Checking is a fully automatic verification method for reactive systems. This course provides an introduction to the main principles of model checking:
* modeling reactive systems by means of transition systems,
* linear-time properties and Büchi automata,
* linear temporal logic and automata-based model checking,
* computation tree logic,
* abstraction ((bi)simulation),
* probabilistic model checking.

=== Literatur ===

Die Vorlesung folgt dem Buch „Principles of Model Checking“ (C. Baier, J.P. Katoen; Principles of Model Checking; MIT Press). Dieses ist in der [https://katalog.slub-dresden.de/en/id/0-1611258200 SLUB] (Lehrbuchsammlung) verfügbar.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075264 via Opal] bis zum 2. November erforderlich.

=== Voraussetzungen ===

Es werden Grundkenntnisse in Algorithmen, Komplexitätstheorie, Automatentheorie und Logik vorausgesetzt.

=== Termine ===

Donnerstag und Freitag, 9:20–10:50 und 11:10–12:40, APB E005 (Beginn: 15. Oktober)

Vorlesung und Übung sind den genannten Terminen nicht fest zugeordnet. Es wird wöchentlich, jeweils für die Folgewoche, mitgeteilt, wann die Vorlesung und wann Übungen stattfinden.

Die Lehrveranstaltung umfasst eine (4/2/0) Vorlesung mit Übungen zu den theoretischen Grundlagen sowie eine Einführung in die Anwendung von Model Checkern mit Übungen (0/2/0).

=== Prüfungsleistung ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minütige mündliche Prüfung

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minütige mündliche Prüfung

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minütige mündliche Prüfung

Gemäß Modulbeschreibung besteht die Modulprüfung aus einer nicht öffentlichen mündlichen Einzelprüfung von 30 Minuten Dauer. Die möglichen Prüfungstermine werden gegen Ende des Semesters in der Vorlesung bekannt gegeben. Um Ihren individuellen Prüfungstermin zu vereinbaren, kontaktieren Sie bitte die Sekretärin des Lehrstuhls, [[Andrea Kühn]], per E-Mail.

=== Kontakt ===

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

|Description_EN=Model Checking is a fully automatic verification method for reactive systems. This course provides an introduction to the main principles of model checking:
* modeling reactive systems by means of transition systems,
* linear-time properties and Büchi automata,
* linear temporal logic and automata-based model checking,
* computation tree logic,
* abstraction ((bi)simulation),
* probabilistic model checking.

=== Literature ===

The course follows the book “Principles of Model Checking” (C. Baier, J.P. Katoen; Principles of Model Checking; MIT Press) closely. This book is available at the [https://katalog.slub-dresden.de/en/id/0-1611258200 SLUB] (Lehrbuchsammlung).

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075264 via Opal] is required until November 2.

=== Prerequisites ===

For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.

=== Dates ===

Thursdays and Fridays, 9:20–10:50 and 11:10–12:40, APB E005 (starting October 15)

There is no fixed assignment of the lectures and exercises to time slots. It will be announced each week when lectures and exercises will take place in the following week.

The course consists of a (4/2/0) lecture with exercises for the theoretical foundations and an introduction to model checkers with applied exercises (0/2/0).

=== Examination ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minute oral exam

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minute oral exam

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minute oral exam

According to the module description, the exam is a non-public individual oral examination lasting 30 minutes. Potential exam dates will be announced towards the end of the semester. The individual exam appointments can then be arranged by e-mailing our secretary, [[Andrea Kühn]].

=== Contact ===

In case of organizational questions, please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].
}}

Lecture Model Checking (WS2026)

2026-09-11T08:08:04Z

Johannes Lehmann:

{{Vorlesung
|Title=Vorlesung „Model Checking“
|Title_EN=Lecture “Model Checking”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Sascha Klüppelholz
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-MC
|SWSLecture=4
|SWSExercise=4
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

Model Checking is a fully automatic verification method for reactive systems. This course provides an introduction to the main principles of model checking:
* modeling reactive systems by means of transition systems,
* linear-time properties and Büchi automata,
* linear temporal logic and automata-based model checking,
* computation tree logic,
* abstraction ((bi)simulation),
* probabilistic model checking.

=== Literatur ===

Die Vorlesung folgt dem Buch „Principles of Model Checking“ (C. Baier, J.P. Katoen; Principles of Model Checking; MIT Press). Dieses ist in der [https://katalog.slub-dresden.de/en/id/0-1611258200 SLUB] (Lehrbuchsammlung) verfügbar.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075264 via Opal] bis zum 2. November erforderlich.

=== Voraussetzungen ===

Es werden Grundkenntnisse in Algorithmen, Komplexitätstheorie, Automatentheorie und Logik vorausgesetzt.

=== Termine ===

Donnerstag und Freitag, 9:20–10:50 und 11:10–12:40, APB E005 (Beginn: 15. Oktober)

Vorlesung und Übung sind den genannten Terminen nicht fest zugeordnet. Es wird wöchentlich, jeweils für die Folgewoche, mitgeteilt, wann die Vorlesung und wann Übungen stattfinden.

Die Lehrveranstaltung umfasst eine (4/2/0) Vorlesung mit Übungen zu den theoretischen Grundlagen sowie eine Einführung in die Anwendung von Model Checkern mit Übungen (0/2/0).

=== Prüfungsleistung ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minütige mündliche Prüfung

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minütige mündliche Prüfung

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minütige mündliche Prüfung

Gemäß Modulbeschreibung besteht die Modulprüfung aus einer nicht öffentlichen mündlichen Einzelprüfung von 30 Minuten Dauer. Die möglichen Prüfungstermine werden gegen Ende des Semesters in der Vorlesung bekannt gegeben. Um Ihren individuellen Prüfungstermin zu vereinbaren, kontaktieren Sie bitte die Sekretärin des Lehrstuhls, [[Andrea Kühn]], per E-Mail.

=== Kontakt ===

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

|Description_EN=Model Checking is a fully automatic verification method for reactive systems. This course provides an introduction to the main principles of model checking:
* modeling reactive systems by means of transition systems,
* linear-time properties and Büchi automata,
* linear temporal logic and automata-based model checking,
* computation tree logic,
* abstraction ((bi)simulation),
* probabilistic model checking.

=== Literature ===

The course follows the book “Principles of Model Checking” (C. Baier, J.P. Katoen; Principles of Model Checking; MIT Press) closely. This book is available at the [https://katalog.slub-dresden.de/en/id/0-1611258200 SLUB] (Lehrbuchsammlung).

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075264 via Opal] is required until November 2.

=== Prerequisites ===

For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.

=== Dates ===

Thursdays and Fridays, 9:20–10:50 and 11:10–12:40, APB E005 (starting October 15)

There is no fixed assignment of the lectures and exercises to time slots. It will be announced each week when lectures and exercises will take place in the following week.

The course consists of a (4/2/0) lecture with exercises for the theoretical foundations and an introduction to model checkers with applied exercises (0/2/0).

=== Examination ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minute oral exam

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minute oral exam

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minute oral exam

According to the module description, the exam is a non-public individual oral examination lasting 30 minutes. Potential exam dates will be announced towards the end of the semester. The individual exam appointments can then be arranged by e-mailing our secretary, [[Andrea Kühn]].

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Seminar Selected Topics in Logic and Verification (WS2026)

2026-08-21T21:33:57Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Selected Topics in Logic and Verification“
|Title_EN=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=CMS-SEM, INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

Dieses Seminar richtet sich in erster Linie an Studierende der Studiengänge Master Computer Science und Diplom Informatik.

=== 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. Anschließend 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

Als Komplexe Leistung ist eine  Präsentation in Form eines Kolloquiums sowie die Ausarbeitung einer  Seminararbeit vorgesehen.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}:  Präsentation und  Seminararbeit

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Jakob Piribauer]].

|Description_EN=In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

This seminar is mainly intended for students enrolled in the Master Computer Science and Diplom Informatik programs.

=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initital meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between Januar and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}:  presentation and  seminar paper

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Seminar Games and Graphs (WS2026)

2026-08-21T21:33:36Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Games and Graphs“
|Title_EN=Seminar “Games and Graphs”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

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 [https://arxiv.org/abs/2305.10546 “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. Anschließend 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 Stunden)

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]].

|Description_EN=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 [https://arxiv.org/abs/2305.10546 “Games on graphs: From logic and automata to algorithms”] edited by Fijalkow et al. (2025).
=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between January and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Seminar Selected Topics in Logic and Verification (WS2026)

2026-08-21T21:33:23Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Selected Topics in Logic and Verification“
|Title_EN=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=CMS-SEM, INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

Dieses Seminar richtet sich in erster Linie an Studierende der Studiengänge Master Computer Science und Diplom Informatik.

=== 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. Anschließend 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|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.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}:  Präsentation und  Seminararbeit

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Jakob Piribauer]].

|Description_EN=In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

This seminar is mainly intended for students enrolled in the Master Computer Science and Diplom Informatik programs.

=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initital meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between Januar and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}:  presentation and  seminar paper

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Seminar Games and Graphs (WS2026)

2026-08-21T21:33:07Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Games and Graphs“
|Title_EN=Seminar “Games and Graphs”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

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 [https://arxiv.org/abs/2305.10546 “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. Anschließend 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|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]].

|Description_EN=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 [https://arxiv.org/abs/2305.10546 “Games on graphs: From logic and automata to algorithms”] edited by Fijalkow et al. (2025).
=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between January and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Proseminar Theoretische Informatik (WS2026)

2026-08-21T21:32:40Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Theoretische Informatik“
|Title_EN=Proseminar “Theoretische Informatik”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-WIA
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.mit.edu/9780262046305/introduction-to-algorithms/ „Introduction to Algorithms“] von Cormen, Leiserson, Rivest und Stein, [https://www-cs-faculty.stanford.edu/~knuth/gkp.html „Concrete Mathematics“] von Graham, Knuth und Patashnik sowie [https://diestel-graph-theory.com/german/index.html „Graphentheorie“] von Diestel betrachtet.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075267 via Opal] bis zum 19. Oktober erforderlich.

=== Voraussetzungen ===

Neben dem Interesse an theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.

=== Termine ===

Alle fristgerecht in Opal eingeschriebenen Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Das weitere Vorgehen wird individuell mit dem Betreuer besprochen.

Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 14. März 2027 einzureichen.

=== Prüfungsleistung ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

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 [[Sascha Klüppelholz]].

|Description_EN=
{{MissingTranslation|Language=en}}

Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.mit.edu/9780262046305/introduction-to-algorithms/ „Introduction to Algorithms“] von Cormen, Leiserson, Rivest und Stein, [https://www-cs-faculty.stanford.edu/~knuth/gkp.html „Concrete Mathematics“] von Graham, Knuth und Patashnik sowie [https://diestel-graph-theory.com/german/index.html „Graphentheorie“] von Diestel betrachtet.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075267 via Opal] is required until October 19.

=== Prerequisites ===

Besides an interest in theoretical computer science, the ''Proseminar'' requires solid foundations in algorithms and data structures as well as mathematics as covered in the first two semesters of the study program.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

The required presentations will be held en bloc between January and March 2027. The specific dates will be announced later.

The written paper is due by March 14, 2027.

=== Examination ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Proseminar Binäre Entscheidungsgraphen (WS2026)

2026-08-21T21:31:58Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Binäre Entscheidungsgraphen“
|Title_EN=Proseminar “Binäre Entscheidungsgraphen”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-WIA
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstellung von Schaltfunktionen vorgestellt. Heutzutage werden verschiedene Varianten von ''ordered BDDs'' in zahlreichen Verifikationswerkzeugen und Model Checkern wie z. B. nuSMV oder Prism als Datenstruktur zur effizienten Speicherung und Analyse von Systemmodellen eingesetzt.

Die individuell zu bearbeitenden Seminarthemen befassen sich mit den theoretischen Grundlagen binärer Entscheidungsgraphen. Insbesondere sollen die wichtigsten Operatoren und Algorithmen auf BDDs vorgestellt und hinsichtlich ihrer theoretischen Komplexität untersucht werden.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075268 via Opal] bis zum 19. Oktober erforderlich.

=== Voraussetzungen ===

Neben dem Interesse an theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.

=== Termine ===

Alle fristgerecht in Opal eingeschriebenen Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Das weitere Vorgehen wird individuell mit dem Betreuer besprochen.

Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 14. März 2027 einzureichen.

=== Prüfungsleistung ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

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 [[Sascha Klüppelholz]].

|Description_EN=
{{MissingTranslation|Language=en}}

Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstellung von Schaltfunktionen vorgestellt. Heutzutage werden verschiedene Varianten von ''ordered BDDs'' in zahlreichen Verifikationswerkzeugen und Model Checkern wie z. B. nuSMV oder Prism als Datenstruktur zur effizienten Speicherung und Analyse von Systemmodellen eingesetzt.

Die individuell zu bearbeitenden Seminarthemen befassen sich mit den theoretischen Grundlagen binärer Entscheidungsgraphen. Insbesondere sollen die wichtigsten Operatoren und Algorithmen auf BDDs vorgestellt und hinsichtlich ihrer theoretischen Komplexität untersucht werden.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075268 via Opal] is required until October 19.

=== Prerequisites ===

Besides an interest in theoretical computer science, the ''Proseminar'' requires solid foundations in algorithms and data structures as well as mathematics as covered in the first two semesters of the study program.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

The required presentations will be held en bloc between January and March 2027. The specific dates will be announced later.

The written paper is due by March 14, 2027.

=== Examination ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Proseminar Binäre Entscheidungsgraphen (WS2026)

2026-08-21T21:31:20Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Binäre Entscheidungsgraphen“
|Title_EN=Proseminar “Binäre Entscheidungsgraphen”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-WIA
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstellung von Schaltfunktionen vorgestellt. Heutzutage werden verschiedene Varianten von ''ordered BDDs'' in zahlreichen Verifikationswerkzeugen und Model Checkern wie z. B. nuSMV oder Prism als Datenstruktur zur effizienten Speicherung und Analyse von Systemmodellen eingesetzt.

Die individuell zu bearbeitenden Seminarthemen befassen sich mit den theoretischen Grundlagen binärer Entscheidungsgraphen. Insbesondere sollen die wichtigsten Operatoren und Algorithmen auf BDDs vorgestellt und hinsichtlich ihrer theoretischen Komplexität untersucht werden.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075268 via Opal] bis zum 19. Oktober erforderlich.

=== Voraussetzungen ===

Neben dem Interesse an theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.

=== Termine ===

Alle fristgerecht in Opal eingeschriebenen Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. In dieser wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Das weitere Vorgehen wird individuell mit dem Betreuer besprochen.

Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 14. März 2027 einzureichen.

=== Prüfungsleistung ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

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 [[Sascha Klüppelholz]].

|Description_EN=
{{MissingTranslation|Language=en}}

Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstellung von Schaltfunktionen vorgestellt. Heutzutage werden verschiedene Varianten von ''ordered BDDs'' in zahlreichen Verifikationswerkzeugen und Model Checkern wie z. B. nuSMV oder Prism als Datenstruktur zur effizienten Speicherung und Analyse von Systemmodellen eingesetzt.

Die individuell zu bearbeitenden Seminarthemen befassen sich mit den theoretischen Grundlagen binärer Entscheidungsgraphen. Insbesondere sollen die wichtigsten Operatoren und Algorithmen auf BDDs vorgestellt und hinsichtlich ihrer theoretischen Komplexität untersucht werden.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075268 via Opal] is required until October 19.

=== Prerequisites ===

Besides an interest in theoretical computer science, the ''Proseminar'' requires solid foundations in algorithms and data structures as well as mathematics as covered in the first two semesters of the study program.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

The required presentations will be held en bloc between January and March 2027. The specific dates will be announced later.

The written paper is due by March 14, 2027.

=== Examination ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026)

2026-08-21T21:30:46Z

Johannes Lehmann:

{{Vorlesung
|Title=Forschungsprojekt
|Title_EN=Research Project
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FP
|SWSLecture=0
|SWSExercise=0
|SWSPractical=100h
|Description=Das Forschungsprojekt ist angedacht für Studierende der Studiengänge ''Master Computer Science'' und ''Diplom Informatik''. Teilnehmende bearbeiten ausgewählte Themen aus den Bereichen Model Checking, Automatentheorie und Logik mit dem Ziel, Fähigkeiten für ihre forschungsorientierte Spezialisierung und unabhängige Forschungsarbeiten zu erwerben.

=== Anmeldung ===

Um an der Veranstaltung teilzunehmen, kontaktieren Sie bitte [[Sascha Klüppelholz]].

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)

Als Komplexe Leistung ist eine Projektarbeit und eine Präsentation  vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].

|Description_EN=The Research Project is intended for students enrolled in the Master Computer Science and Diplom Informatik programs. Participants study selected topics from the fields of model checking, automata theory and logics. The purpose of this course is for students to acquire skills for their research-oriented specialization and independent research work.

=== Registration ===

If you want to take the Research Project with our chair, please contact [[Sascha Klüppelholz]].

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a project report and a presentation. 

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026)

2026-08-21T21:29:50Z

Johannes Lehmann:

{{Vorlesung
|Title=Forschungsprojekt
|Title_EN=Research Project
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FP
|SWSLecture=0
|SWSExercise=0
|SWSPractical=100h
|Description=Das Forschungsprojekt ist angedacht für Studierende der Studiengänge ''Master Computer Science'' und ''Diplom Informatik''. Teilnehmende bearbeiten ausgewählte Themen aus den Bereichen Model Checking, Automatentheorie und Logik mit dem Ziel, Fähigkeiten für ihre forschungsorientierte Spezialisierung und unabhängige Forschungsarbeiten zu erwerben.

=== Anmeldung ===

Um an der Veranstaltung teilzunehmen, kontaktieren Sie bitte [[Sascha Klüppelholz]].

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)

Als Komplexe Leistung ist eine Projektarbeit und eine Präsentation  vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].

|Description_EN=The Research Project is intended for students enrolled in the Master Computer Science and Diplom Informatik programs. Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialization and independent research work.

=== Registration ===

If you want to take the Research Project with our chair, please contact [[Sascha Klüppelholz]].

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a project report and a presentation. 

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-08-21T21:28:53Z

Johannes Lehmann:

{{Vorlesung
|Title=Belegseminar
|Title_EN=Student Project Seminar (Belegseminar)
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-BSem
|SWSLecture=0
|SWSExercise=4
|SWSPractical=0
|Description=Im Rahmen des Belegseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte das Belegseminar in Kombination mit einem großen Beleg am Lehrstuhl belegt werden. Es kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Um am Belegseminar teilzunehmen, kontaktieren Sie bitte [[Sascha Klüppelholz]].

=== Prüfungsleistung ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-BSem}}: Komplexe Leistung (50 Stunden)

Als Komplexe Leistung ist eine Präsentation  und eine  schriftliche Zusammenfassung vorgesehen.
=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].

|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

The Student Project Seminar is intended to be taken in combination with a ''Großer Beleg''. However, it can also be taken independently thereof.

=== Registration ===

If you want to take the Student Project Seminar with our chair, please contact [[Sascha Klüppelholz]].

=== Examination ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-BSem}}: ''Komplexe Leistung'' (50 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation  and  a project report.

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-08-21T21:28:19Z

Johannes Lehmann:

{{Vorlesung
|Title=Bachelorseminar
|Title_EN=Bachelor Seminar
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-BaSe
|SWSLecture=0
|SWSExercise=4
|SWSPractical=0
|Description=Im Rahmen des Bachelorseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte das Bachelorseminar in Kombination mit einer Bachelorarbeit am Lehrstuhl belegt werden. Es kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Um am Bachelorseminar teilzunehmen, kontaktieren Sie bitte [[Sascha Klüppelholz]].

=== Prüfungsleistung ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: Komplexe Leistung (50 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: Komplexe Leistung (50 Stunden)

Als Komplexe Leistung ist eine Präsentation  und eine  schriftliche Zusammenfassung vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].
|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

The Bachelor Seminar is intended to be taken in combination with a bachelor's thesis. However, it can also be taken independently of a thesis.

=== Registration ===

If you want to take the Bachelor Seminar with our chair, please contact [[Sascha Klüppelholz]].

=== Examination ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: ''Komplexe Leistung'' (50 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-BaSe}}: ''Komplexe Leistung'' (50 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation  and  a project report.

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-08-21T21:28:17Z

Johannes Lehmann:

{{Vorlesung
|Title=Belegseminar
|Title_EN=Student Project Seminar (Belegseminar)
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-BSem
|SWSLecture=0
|SWSExercise=4
|SWSPractical=0
|Description=Im Rahmen des Belegseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte das Belegseminar in Kombination mit einem großen Beleg am Lehrstuhl belegt werden. Es kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Um am Belegseminar teilzunehmen, kontaktieren Sie bitte [[Sascha Klüppelholz]].

=== Prüfungsleistung ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-BSem}}: Komplexe Leistung (50 Stunden)

Als Komplexe Leistung ist eine Präsentation  und eine  schriftliche Zusammenfassung vorgesehen.
=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].

|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

The Student Project Seminar is intended to be taken in combination with a ''Großer Beleg''. However, it can also be taken independently thereof.

=== Registration ===

If you want to take the Student Project Seminar with our chair, please contact [[Sascha Klüppelholz]].

=== Examination ===
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-BSem}}: ''Komplexe Leistung'' (50 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a presentation  and  project report.

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026)

2026-08-21T21:28:15Z

Johannes Lehmann:

{{Vorlesung
|Title=Forschungsprojekt
|Title_EN=Research Project
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FP
|SWSLecture=0
|SWSExercise=0
|SWSPractical=100h
|Description=Das Forschungsprojekt ist angedacht für Studierende der Studiengänge ''Master Computer Science'' und ''Diplom Informatik''. Teilnehmende bearbeiten ausgewählte Themen aus den Bereichen ''Model Checking'', Automatentheorie und Logik mit dem Ziel, Fähigkeiten für ihre forschungsorientierte Spezialisierung und unabhängige Forschungsarbeiten zu erwerben.

=== Anmeldung ===

Um an der Veranstaltung teilzunehmen, kontaktieren Sie bitte [[Sascha Klüppelholz]].

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)

Als Komplexe Leistung ist eine Projektarbeit und eine Präsentation  vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].

|Description_EN=The Research Project is intended for students enrolled in the Master Computer Science and Diplom Informatik programs. Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialization and independent research work.

=== Registration ===

If you want to take the Research Project with our chair, please contact [[Sascha Klüppelholz]].

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a project report and a presentation. 

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026)

2026-08-21T21:28:13Z

Johannes Lehmann:

{{Vorlesung
|Title=Großer Beleg
|Title_EN=Student Research Project (Großer Beleg)
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-GB
|SWSLecture=0
|SWSExercise=0
|SWSPractical=100h
|Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte der Große Beleg in Kombination mit dem Belegseminar am Lehrstuhl belegt werden. Er kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Wenn Sie den Großen Beleg am Lehrstuhl belegen möchten, kontaktieren Sie bitte [[Sascha Klüppelholz]].

=== Prüfungsleistung ===

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-GB}}: Komplexe Leistung (180 Stunden)

Als Komplexe Leistung ist eine Belegarbeit und eine Präsentation  vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].

|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

The Student Research Project is intended to be taken in combination with a Student Project Seminar. However, it can also be taken independently thereof.

=== Registration ===

If you want to take the Student Research Project with our chair, please contact [[Sascha Klüppelholz]].

=== Examination ===

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-GB}}: ''Komplexe Leistung'' (180 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a report and a presentation. 

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Lecture Modal Logic (WS2026)

2026-08-21T21:25:30Z

Johannes Lehmann:

{{Vorlesung
|Title=Vorlesung „Modal Logic“
|Title_EN=Lecture “Modal Logic”
|Research group=Algebraische und logische Grundlagen der Informatik
|Language=EN
|Lecturers=Jakob Piribauer
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-MoL
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

Modalities are expressions that quantify the truth of a statement, e.g. “possibly” and “necessarily”. Modal logics are simple, yet expressive formalisms that incorporate such modalities. The incorporated modalities offer a wide variety of possible readings such as temporal readings (“at some point in the future …”), epistemic readings (“the agent knows that …”) or readings talking about the dynamics of programs (“there is an execution of program P after which …”). Therefore, modal logics are applicable to various application domains and play an important role in computer science, philosophy, mathematics and linguistics, among others.

This course provides an introduction to the main concepts of modal logic with a focus on its role in computer science. It covers:
* syntax and semantics of modal logics,
* Kripke structures and Kripke frames,
* bisimulations,
* translations to first-order logic,
* frame definability,
* soundness and completeness results,
* complexity and decidability results,
* propositional dynamic logic.

===Literatur===

Die Vorlesung folgt dem Buch „Modal logic (Fourth printing with corrections)“ (P. Blackburn, M. de Rijke, Y. Venema; Modal logic (Fourth printing with corrections); Cambridge University Press; 2010). Dieses ist online über die [https://doi.org/10.1017/CBO9781107050884 SLUB] verfügbar.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075265 via Opal] bis zum 2. November erforderlich.

=== Voraussetzungen ===

Es werden Grundkenntnisse in Algorithmen, Komplexitätstheorie, Automatentheorie und Logik vorausgesetzt.

=== Termine ===

* Vorlesung: Dienstag, 13:00–14:30, APB E005
* Übung: Mittwoch, 13:00–14:30, APB E005

Die erste Vorlesung findet am 13. Oktober statt. Gelegentlich werden Übungen für Dienstag oder Vorlesungen für Mittwoch angesetzt. Diese Änderungen werden rechtzeitig bekanntgegeben.

=== Prüfungsleistung ===
'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MoL}}: 25-minütige mündliche Prüfung

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MoL}}: 25-minütige mündliche Prüfung

Gemäß Modulbeschreibung besteht die Modulprüfung aus einer nicht öffentlichen mündlichen Einzelprüfung von 25 Minuten Dauer. Die möglichen Prüfungstermine werden gegen Ende des Semesters in der Vorlesung bekannt gegeben. Um Ihren individuellen Prüfungstermin zu vereinbaren, kontaktieren Sie bitte die Sekretärin des Lehrstuhls, [[Andrea Kühn]], per E-Mail.

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Jakob Piribauer]].

|Description_EN=Modalities are expressions that quantify the truth of a statement, e.g. “possibly” and “necessarily”. Modal logics are simple, yet expressive formalisms that incorporate such modalities. The incorporated modalities offer a wide variety of possible readings such as temporal readings (“at some point in the future …”), epistemic readings (“the agent knows that …”) or readings talking about the dynamics of programs (“there is an execution of program P after which …”). Therefore, modal logics are applicable to various application domains and play an important role in computer science, philosophy, mathematics and linguistics, among others.

This course provides an introduction to the main concepts of modal logic with a focus on its role in computer science. It covers:
* syntax and semantics of modal logics,
* Kripke structures and Kripke frames,
* bisimulations,
* translations to first-order logic,
* frame definability,
* soundness and completeness results,
* complexity and decidability results,
* propositional dynamic logic.

===Literature===

The course follows the book “Modal logic (Fourth printing with corrections)” (P. Blackburn, M. de Rijke, Y. Venema; Modal logic (Fourth printing with corrections); Cambridge University Press; 2010). This book is available online via the [https://doi.org/10.1017/CBO9781107050884 SLUB].

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075265 via Opal] is required until November 2.

=== Prerequisites ===

For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.

=== Dates ===

* Lecture: Tuesdays, 13:00–14:30, APB E005
* Exercise: Wednesdays, 13:00–14:30, APB E005

The first lecture will be held on October 13. Occasionally, there might be exercises on Tuesdays or lectures on Wednesdays, which will be announced in advance.

=== Examination ===
'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MoL}}: 25-minute oral exam

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MoL}}: 25-minute oral exam

According to the module description, the exam is a non-public individual oral examination lasting 25 minutes. Potential exam dates will be announced towards the end of the semester. The individual exam appointments can then be arranged by e-mailing our secretary, [[Andrea Kühn]].

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Lecture Model Checking (WS2026)

2026-08-21T21:24:55Z

Johannes Lehmann:

{{Vorlesung
|Title=Vorlesung „Model Checking“
|Title_EN=Lecture “Model Checking”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Sascha Klüppelholz
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-MC
|SWSLecture=4
|SWSExercise=4
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

Model Checking is a fully automatic verification method for reactive systems. This course provides an introduction to the main principles of model checking:
* modeling reactive systems by means of transition systems,
* linear-time properties and Büchi automata,
* linear temporal logic and automata-based model checking,
* computation tree logic,
* abstraction ((bi)simulation),
* probabilistic model checking.

=== Literatur ===

Die Vorlesung folgt dem Buch „Principles of Model Checking“ (C. Baier, J.P. Katoen; Principles of Model Checking; MIT Press). Dieses ist in der [https://katalog.slub-dresden.de/en/id/0-1611258200 SLUB] (Lehrbuchsammlung) verfügbar.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075264 via Opal] bis zum 2. November erforderlich.

=== Voraussetzungen ===

Es werden Grundkenntnisse in Algorithmen, Komplexitätstheorie, Automatentheorie und Logik vorausgesetzt.

=== Termine ===

Donnerstag und Freitag, 9:20–10:50 und 11:10–12:40, APB E005 (Beginn: 15. Oktober)

Vorlesung und Übung sind den genannten Terminen nicht fest zugeordnet. Es wird wöchentlich, jeweils für die Folgewoche, mitgeteilt, wann die Vorlesung und wann Übungen stattfinden.

Die Lehrveranstaltung umfasst eine (4/2/0) Vorlesung mit Übungen zu den theoretischen Grundlagen sowie eine Einführung in die Anwendung von Model Checkern mit Übungen (0/2/0).

=== Prüfungsleistung ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minütige mündliche Prüfung

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minütige mündliche Prüfung

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minütige mündliche Prüfung

Gemäß Modulbeschreibung besteht die Modulprüfung aus einer nicht öffentlichen mündlichen Einzelprüfung von 30 Minuten Dauer. Die möglichen Prüfungstermine werden gegen Ende des Semesters in der Vorlesung bekannt gegeben. Um Ihren individuellen Prüfungstermin zu vereinbaren, kontaktieren Sie bitte die Sekretärin des Lehrstuhls, [[Andrea Kühn]], per E-Mail.

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].

|Description_EN=Model Checking is a fully automatic verification method for reactive systems. This course provides an introduction to the main principles of model checking:
* modeling reactive systems by means of transition systems,
* linear-time properties and Büchi automata,
* linear temporal logic and automata-based model checking,
* computation tree logic,
* abstraction ((bi)simulation),
* probabilistic model checking.

=== Literature ===

The course follows the book “Principles of Model Checking” (C. Baier, J.P. Katoen; Principles of Model Checking; MIT Press) closely. This book is available at the [https://katalog.slub-dresden.de/en/id/0-1611258200 SLUB] (Lehrbuchsammlung).

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075264 via Opal] is required until November 2.

=== Prerequisites ===

For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.

=== Dates ===

Thursdays and Fridays, 9:20–10:50 and 11:10–12:40, APB E005 (starting October 15)

There is no fixed assignment of the lectures and exercises to time slots. It will be announced each week when lectures and exercises will take place in the following week.

The course consists of a (4/2/0) lecture with exercises for the theoretical foundations and an introduction to model checkers with applied exercises (0/2/0).

=== Examination ===
'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minute oral exam

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minute oral exam

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-MC}}: 30-minute oral exam

According to the module description, the exam is a non-public individual oral examination lasting 30 minutes. Potential exam dates will be announced towards the end of the semester. The individual exam appointments can then be arranged by e-mailing our secretary, [[Andrea Kühn]].

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Seminar Selected Topics in Logic and Verification (WS2026)

2026-08-21T08:25:08Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Selected Topics in Logic and Verification“
|Title_EN=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=CMS-SEM, INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

Dieses Seminar richtet sich in erster Linie an Studierende der Studiengänge Master Computer Science und Diplom Informatik.

=== 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|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.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}:  Präsentation und  Seminararbeit

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Jakob Piribauer]].

|Description_EN=In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

This seminar is mainly intended for students enrolled in the Master Computer Science and Diplom Informatik programs.

=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initital meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between Januar and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}:  presentation and  seminar paper

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Seminar Selected Topics in Logic and Verification (WS2026)

2026-08-21T08:11:52Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Selected Topics in Logic and Verification“
|Title_EN=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=CMS-SEM, INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

Dieses Seminar richtet sich in erster Linie an Studierende der Studiengänge Master Computer Science und Diplom Informatik.

=== 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|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.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}: 30-minütige Präsentation und 10-seitige Seminararbeit

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Jakob Piribauer]].

|Description_EN=In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

This seminar is mainly intended for students enrolled in the Master Computer Science and Diplom Informatik programs.

=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initital meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between Januar and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}: 30-minute presentation and 10-page seminar paper

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Seminar Games and Graphs (WS2026)

2026-08-21T08:11:45Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Games and Graphs“
|Title_EN=Seminar “Games and Graphs”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

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 [https://arxiv.org/abs/2305.10546 “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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|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]].

|Description_EN=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 [https://arxiv.org/abs/2305.10546 “Games on graphs: From logic and automata to algorithms”] edited by Fijalkow et al. (2025).
=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between January and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Seminar Selected Topics in Logic and Verification (WS2026)

2026-08-21T08:05:45Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Selected Topics in Logic and Verification“
|Title_EN=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier;Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=CMS-SEM, INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

Dieses Seminar richtet sich in erster Linie an Studierende der Studiengänge Master Computer Science und Diplom Informatik.

=== 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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|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.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}: 30-minütige Präsentation und 10-seitige Seminararbeit

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Jakob Piribauer]].

|Description_EN=In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.

This seminar is mainly intended for students enrolled in the Master Computer Science and Diplom Informatik programs.

=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initital meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between Januar and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}: 30-minute presentation and 10-page seminar paper

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Seminar Games and Graphs (WS2026)

2026-08-21T08:02:20Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar „Games and Graphs“
|Title_EN=Seminar “Games and Graphs”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier;Jakob Piribauer
|Language=EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FTK-Sem
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=
{{MissingTranslation|Language=de}}

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 [https://arxiv.org/abs/2305.10546 “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)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: Komplexe Leistung (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|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]].

|Description_EN=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 [https://arxiv.org/abs/2305.10546 “Games on graphs: From logic and automata to algorithms”] edited by Fijalkow et al. (2025).
=== Registration ===

Registration via Opal is required until October 19. We will link to the Opal course once it is set up.

=== Prerequisites ===

For the seminar, profound knowledge in theoretical computer science and logics is presumed.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

Presentations will be held between January and March 2027. The specific dates will be announced later.

The seminar paper (Seminararbeit) is due by February 28, 2027.

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-Sem}}: ''Komplexe Leistung'' (40 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please contact [[Jakob Piribauer]].
}}

Proseminar Theoretische Informatik (WS2026)

2026-08-21T08:01:37Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Theoretische Informatik“
|Title_EN=Proseminar “Theoretische Informatik”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-WIA
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.mit.edu/9780262046305/introduction-to-algorithms/ „Introduction to Algorithms“] von Cormen, Leiserson, Rivest und Stein, [https://www-cs-faculty.stanford.edu/~knuth/gkp.html „Concrete Mathematics“] von Graham, Knuth und Patashnik sowie [https://diestel-graph-theory.com/german/index.html „Graphentheorie“] von Diestel betrachtet.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075267 via Opal] bis zum 19. Oktober erforderlich.

=== Voraussetzungen ===

Neben dem Interesse an theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.

=== Termine ===

Alle fristgerecht in Opal eingeschriebenen Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. In dieser wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Das weitere Vorgehen wird individuell mit dem Betreuer besprochen.

Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 14. März 2027 einzureichen.

=== Prüfungsleistung ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

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 [[Sascha Klüppelholz]].

|Description_EN=
{{MissingTranslation|Language=en}}

Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.mit.edu/9780262046305/introduction-to-algorithms/ „Introduction to Algorithms“] von Cormen, Leiserson, Rivest und Stein, [https://www-cs-faculty.stanford.edu/~knuth/gkp.html „Concrete Mathematics“] von Graham, Knuth und Patashnik sowie [https://diestel-graph-theory.com/german/index.html „Graphentheorie“] von Diestel betrachtet.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075267 via Opal] is required until October 19.

=== Prerequisites ===

Besides an interest in theoretical computer science, the ''Proseminar'' requires solid foundations in algorithms and data structures as well as mathematics as covered in the first two semesters of the study program.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

The required presentations will be held en bloc between January and March 2027. The specific dates will be announced later.

The written paper is due by March 14, 2027.

=== Examination ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Proseminar Binäre Entscheidungsgraphen (WS2026)

2026-08-21T08:00:54Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Binäre Entscheidungsgraphen“
|Title_EN=Proseminar “Binäre Entscheidungsgraphen”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=WS
|Year=2026
|Module=INF-25-Ba-WIA
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstellung von Schaltfunktionen vorgestellt. Heutzutage werden verschiedene Varianten von ''ordered BDDs'' (OBDDs) in zahlreichen Verifikationswerkzeugen und Model Checkern wie z. B. nuSMV oder Prism als Datenstruktur zur effizienten Speicherung und Analyse von Systemmodellen eingesetzt.

Die individuell zu bearbeitenden Seminarthemen befassen sich mit den theoretischen Grundlagen binärer Entscheidungsgraphen. Insbesondere sollen die wichtigsten Operatoren und Algorithmen auf BDDs vorgestellt und hinsichtlich ihrer theoretischen Komplexität untersucht werden.

=== Anmeldung ===

Für die Teilnahme ist eine Registrierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075268 via Opal] bis zum 19. Oktober erforderlich.

=== Voraussetzungen ===

Neben dem Interesse an theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.

=== Termine ===

Alle fristgerecht in Opal eingeschriebenen Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. In dieser wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Das weitere Vorgehen wird individuell mit dem Betreuer besprochen.

Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 14. März 2027 einzureichen.

=== Prüfungsleistung ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: Komplexe Leistung (60 Stunden)

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 [[Sascha Klüppelholz]].

|Description_EN=
{{MissingTranslation|Language=en}}

Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstellung von Schaltfunktionen vorgestellt. Heutzutage werden verschiedene Varianten von ''ordered BDDs'' (OBDDs) in zahlreichen Verifikationswerkzeugen und Model Checkern wie z. B. nuSMV oder Prism als Datenstruktur zur effizienten Speicherung und Analyse von Systemmodellen eingesetzt.

Die individuell zu bearbeitenden Seminarthemen befassen sich mit den theoretischen Grundlagen binärer Entscheidungsgraphen. Insbesondere sollen die wichtigsten Operatoren und Algorithmen auf BDDs vorgestellt und hinsichtlich ihrer theoretischen Komplexität untersucht werden.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/55848075268 via Opal] is required until October 19.

=== Prerequisites ===

Besides an interest in theoretical computer science, the ''Proseminar'' requires solid foundations in algorithms and data structures as well as mathematics as covered in the first two semesters of the study program.

=== Dates ===

All participants registered in Opal by the due date will be notified about the initial meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

The required presentations will be held en bloc between January and March 2027. The specific dates will be announced later.

The written paper is due by March 14, 2027.

=== Examination ===

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: ''Komplexe Leistung'' (60 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a  presentation taking the form of a colloquium and a  seminar paper.

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026)

2026-08-21T08:00:02Z

Johannes Lehmann:

{{Vorlesung
|Title=Großer Beleg
|Title_EN=Student Research Project (Großer Beleg)
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-GB
|SWSLecture=0
|SWSExercise=0
|SWSPractical=100h
|Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der [[Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhls]] im Tab ''Aktive Projekte''.

In der Regel sollte der Große Beleg in Kombination mit dem Belegseminar am Lehrstuhl belegt werden. Er kann allerdings auch unabhängig davon belegt werden.

=== Anmeldung ===

Wenn Sie den Großen Beleg am Lehrstuhl belegen möchten, kontaktieren Sie bitte [[Sascha Klüppelholz]].

=== Prüfungsleistung ===

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-GB}}: Komplexe Leistung (180 Stunden)

Als Komplexe Leistung ist eine Belegarbeit und eine Präsentation  vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].

|Description_EN=As part of this course, you will work on a topic related to current research projects of the chair. An overview is given on the [[Algebraische und logische Grundlagen der Informatik|page of the chair]] under the tab ''Active projects''.

The Student Research Project is intended to be taken in combination with a Student Project Seminar. However, it can also be taken independently thereof.

=== Registration ===

If you want to take the Student Research Project with our Chair, please contact [[Sascha Klüppelholz]].

=== Examination ===

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-GB}}: ''Komplexe Leistung'' (180 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a report and a presentation. 

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}

Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026)

2026-08-21T07:58:54Z

Johannes Lehmann:

{{Vorlesung
|Title=Forschungsprojekt
|Title_EN=Research Project
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-25-Ma-FP
|SWSLecture=0
|SWSExercise=0
|SWSPractical=100h
|Description=Das Forschungsprojekt ist angedacht für Studierende der Studiengänge ''Master Computer Science'' und ''Diplom Informatik''. Teilnehmende bearbeiten ausgewählte Themen aus den Bereichen ''Model Checking'', Automatentheorie und Logik mit dem Ziel, Fähigkeiten für ihre forschungsorientierte Spezialisierung und unabhängige Forschungsarbeiten zu erwerben.

=== Anmeldung ===

Um an der Veranstaltung teilzunehmen, kontaktieren Sie bitte [[Sascha Klüppelholz]].

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)
'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: Komplexe Leistung (200 Stunden)

Als Komplexe Leistung ist eine Projektarbeit und eine Präsentation  vorgesehen.

=== Kontakt ===

Bei organisatorischen Fragen wenden Sie sich bitte an [[Sascha Klüppelholz]].

|Description_EN=The Research Project is intended for students enrolled in the Master Computer Science and Diplom Informatik programs. Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialization and independent research work.

=== Registration ===

If you want to take the Research Project with our Chair, please contact [[Sascha Klüppelholz]].

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FP}}: ''Komplexe Leistung'' (200 hours)

The ''Komplexe Leistung'' (complex or multi-part examination) consists of a project report and a presentation. 

=== Contact ===

In case of organizational questions, please contact [[Sascha Klüppelholz]].
}}