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

Seminar Games and Graphs (WS2026)

2026-10-05T09:28:25Z

Andrea Kühn:

{{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 Artificial Intelligence“ werden zentral zugewiesen. Hierbei werden Ihre Präferenzen berücksichtigt. Wenn Sie unser Seminar belegen möchten, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus und geben Ihre Präferenz entsprechend an: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.

=== Voraussetzungen ===

Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.

=== Termine ===

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

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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 Artificial Intelligence” will be assigned centrally, based on students’ preferences. To register for our seminar, please indicate your preference in the poll available at https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922 by October 18, 2026.

=== Prerequisites ===

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

=== Dates ===

All students who have filled out the above survey by the due date will be notified by e-mail about the seminar assigned to them. Participants of our seminar will additionally be informed about the date and place of our initial meeting. Each participant will then receive a topic and get a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

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

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{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-05T09:22:41Z

Andrea Kühn:

{{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 Artificial Intelligence“ werden zentral zugewiesen. Hierbei werden Ihre Präferenzen berücksichtigt. Wenn Sie unser Seminar belegen möchten, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus und geben Ihre Präferenz entsprechend an: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.

Möchten Sie unser Seminar für das Modul CMS-SEM „Literature Studies in Computational Modeling“ belegen, senden Sie bitte bis zum 18. Oktober eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Voraussetzungen ===

Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.

=== Termine ===

Alle Studierenden, die fristgerecht die obige Umfrage für das Modul INF-25-Ma-FTK-Sem ausgefüllt haben, werden nach Auswertung aller Anmeldungen per E-Mail informiert, welches Seminar ihnen zugeteilt wurde.

Allen Teilnehmer:innen unseres Seminars wird nach Ablauf der Anmeldefristen mitgeteilt, wann und wo die Auftaktveranstaltung stattfindet. Im Anschluss wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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 Artificial Intelligence” will be assigned centrally, based on students’ preferences. To register for our seminar, please indicate your preference in the poll available at https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922 by October 18, 2026.

If you want to take the seminar for the module CMS-SEM “Literature Studies in Computational Modeling,” please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de] until October 18, 2026.

=== Prerequisites ===

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

=== Dates ===

All students who have filled out the above survey for the module INF-25-Ma-FTK-Sem by the due date will be notified by e-mail about the seminar assigned to them.

Once the registration deadlines have expired, all participants of our seminar will be informed about the date and place of our initial meeting. Each participant will then receive a topic and get a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

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

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{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 Selected Topics in Logic and Verification (WS2026)

2026-10-05T09:16:41Z

Andrea Kühn:

{{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 Artificial Intelligence“ werden zentral zugewiesen. Hierbei werden Ihre Präferenzen berücksichtigt. Wenn Sie unser Seminar belegen möchten, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus und geben Ihre Präferenz entsprechend an: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.

Möchten Sie unser Seminar für das Modul CMS-SEM „Literature Studies in Computational Modeling“ belegen, senden Sie bitte bis zum 18. Oktober eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Voraussetzungen ===

Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.

=== Termine ===

Alle Teilnehmer:innen, die fristgerecht die obige Umfrage für das Modul INF-25-Ma-FTK-Sem ausgefüllt haben, werden nach Auswertung aller Anmeldungen per E-Mail informiert, welches Seminar ihnen zugeteilt wurde.

Allen Teilnehmer:innen unseres Seminars wird nach Ablauf der Anmeldefristen mitgeteilt, wann und wo die Auftaktveranstaltung stattfindet. Im Anschluss wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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 Artificial Intelligence” will be assigned centrally, based on students’ preferences. To register for our seminar, please indicate your preference in the poll available at https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922 by October 18, 2026.

If you want to take the seminar for the module CMS-SEM “Literature Studies in Computational Modeling,” please send an e-mail to [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de] until October 18, 2026.

=== Prerequisites ===

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

=== Dates ===

All students who have filled out the above survey for the module INF-25-Ma-FTK-Sem by the due date will be notified by e-mail about the seminar assigned to them.

Once the registration deadlines have expired, all participants of our seminar will be informed about the date and place of our initial meeting. Each participant will then receive a topic and get a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

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

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{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 Selected Topics in Logic and Verification (WS2026)

2026-10-05T09:02:10Z

Andrea Kühn:

{{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 Artificial Intelligence“ werden zentral zugewiesen. Hierbei werden Ihre Präferenzen berücksichtigt. Wenn Sie unser Seminar belegen möchten, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus und geben Ihre Präferenz entsprechend an: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.

Möchten Sie unser Seminar für das Modul CMS-SEM "Literature Studies in Computational Modeling" belegen, senden Sie bitte bis zum 18. Oktober eine E-Mail an [mailto:studies_alg@mailbox.tu-dresden.de studies_alg@mailbox.tu-dresden.de].

=== Voraussetzungen ===

Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.

=== Termine ===

Alle Teilnehmer:innen, die fristgerecht die obige Umfrage für das Modul INF-25-Ma-FTK-Sem ausgefüllt haben, werden nach Auswertung aller Anmeldungen per E-Mail informiert, welches Seminar ihnen zugeteilt wurde.

Allen Teilnehmer:innen unseres Seminars wird nach Ablauf der Anmeldefristen mitgeteilt, wann und wo die Auftaktveranstaltung stattfindet. Im Anschluss wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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-05T07:30:08Z

Andrea Kühn:

{{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 Artificial Intelligence“ werden zentral zugewiesen. Hierbei werden Ihre Präferenzen berücksichtigt. Wenn Sie unser Seminar belegen möchten, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus und geben Ihre Präferenz entsprechend an: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.

=== Voraussetzungen ===

Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.

=== Termine ===

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

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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 Artificial Intelligence" will be assigned centrally, based on students’ preferences. To register for our seminar, please indicate your preference in the poll available at https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922 by October 18, 2026.

=== Prerequisites ===

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

=== Dates ===

All students who have filled out the above survey by the due date will be notified by e-mail about the seminar assigned to them. Participants of our seminar will additionally be informed about the date and place of our initial meeting. Each participant will then receive a topic and get a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

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

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{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 Games and Graphs (WS2026)

2026-10-05T07:24:04Z

Andrea Kühn:

{{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 Artificial Intelligence“ werden zentral zugewiesen. Hierbei werden Ihre Präferenzen berücksichtigt. Wenn Sie unser Seminar belegen möchten, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus und geben Ihre Präferenz entsprechend an: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.

=== Voraussetzungen ===

Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.

=== Termine ===

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

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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 Artificial Intelligence" 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 e-mail about the seminar assigned to them. Each participant will then receive a topic and get a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

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

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{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 Games and Graphs (WS2026)

2026-10-05T07:01:26Z

Andrea Kühn:

{{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 Artificial Intelligence“ werden zentral zugewiesen. 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 nach Auswertung aller Anmeldungen per E-Mail 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 mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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 Artificial Intelligence" 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 e-mail about the seminar assigned to them. Each participant will then receive a topic and get a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.

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

=== Examination ===

'''Master Computer Science (PO 2025)'''
* {{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].

}}

Algebraische und logische Grundlagen der Informatik/Abschlussarbeiten/en

2026-09-22T12:19:39Z

Andrea Kühn:

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 Bachelor Seminar is intended to be taken in conjunction with a bachelor's thesis, and the Belegseminar 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/en

2026-09-22T12:18:51Z

Andrea Kühn:

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 Bachelor Seminar is intended to be taken in conjunction with a bachelor's thesis, and the Belegseminar 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-22T12:05:03Z

Andrea Kühn:

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

Seminar Selected Topics in Logic and Verification (WS2026)

2026-09-21T13:51:41Z

Andrea Kühn:

{{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 ===

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 zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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 ===

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.

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 Selected Topics in Logic and Verification (WS2026)

2026-09-21T13:48:08Z

Andrea Kühn:

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

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 zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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 ===

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.

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-09-21T13:43:04Z

Andrea Kühn:

{{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 zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''Master Computer Science (PO 2025)'''
* {{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 ===

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.

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

}}

Proseminar Theoretische Informatik (WS2026)

2026-09-21T13:39:57Z

Andrea Kühn:

{{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:innen per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''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 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=
{{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 most likely 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 and question-and-answer sessions will be held en bloc between January and March 2027. The specific dates will be announced later.

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

}}

Proseminar Binäre Entscheidungsgraphen (WS2026)

2026-09-21T13:38:02Z

Andrea Kühn:

{{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. Heute 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 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:innen per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''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 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=
{{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. Heute 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 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 most likely 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 and question-and-answer sessions will be held en bloc between January and March 2027. The specific dates will be announced later.

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

}}

Proseminar Theoretische Informatik (WS2026)

2026-09-21T13:27:04Z

Andrea Kühn:

{{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:innen per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''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 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=
{{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 most likely 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 and question-and-answer sessions will be held en bloc between January and March 2027. The specific dates will be announced later.

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

}}

Proseminar Binäre Entscheidungsgraphen (WS2026)

2026-09-21T13:23:45Z

Andrea Kühn:

{{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. Heute 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 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:innen per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.

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

=== Prüfungsleistung ===

'''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 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=
{{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. Heute 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 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 most likely 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 and question-and-answer sessions will be held en bloc between January and March 2027. The specific dates will be announced later.

=== 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 (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-09-18T12:51:40Z

Andrea Kühn:

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

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

=== 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 ===

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.

The required presentations 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 Selected Topics in Logic and Verification (WS2026)

2026-09-18T12:47:35Z

Andrea Kühn:

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

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

=== 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 ===

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.

The required presentations will be held en bloc between Januar 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].

}}

Proseminar Theoretische Informatik (WS2026)

2026-09-18T12:22:32Z

Andrea Kühn:

{{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:innen per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. 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.

=== 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 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=
{{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 most likely 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.

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

}}

Proseminar Binäre Entscheidungsgraphen (WS2026)

2026-09-18T12:19:52Z

Andrea Kühn:

{{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. Heute 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 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:innen per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. 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.

=== 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 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=
{{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. Heute 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 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 most likely 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.

=== 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 (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 Games and Graphs (WS2026)

2026-09-18T12:13:11Z

Andrea Kühn:

{{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 zugewiesen. 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.

=== 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 ===

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.

The required presentations 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].

}}

Proseminar Theoretische Informatik (WS2026)

2026-09-18T10:13:08Z

Andrea Kühn:

{{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:innen per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. 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 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 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=
{{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 most likely 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 (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].

}}

Proseminar Theoretische Informatik (WS2026)

2026-09-18T10:11:26Z

Andrea Kühn:

{{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:innen per E-Mail mitgeteilt. 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 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 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=
{{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 most likely 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 (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].

}}

Proseminar Theoretische Informatik (WS2026)

2026-09-18T10:10:42Z

Andrea Kühn:

{{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:innen per E-Mail mitgeteilt. 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 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 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=
{{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 most likely 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 (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].

}}

Proseminar Binäre Entscheidungsgraphen (WS2026)

2026-09-18T09:30:20Z

Andrea Kühn:

{{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. Heute 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 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:innen per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. 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 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 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=
{{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. Heute 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 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 most likely 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 (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].

}}

Proseminar Binäre Entscheidungsgraphen (WS2026)

2026-09-18T08:53:15Z

Andrea Kühn:

{{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. Heute 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 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:innen per E-Mail mitgeteilt. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. 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 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 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=
{{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 (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].

}}

Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-17T11:45:20Z

Andrea Kühn:

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

Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-17T11:17:20Z

Andrea Kühn:

{{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 Forschungsarbeit 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 sind eine Projektarbeit, 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=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 written project report, 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].

}}

CMS Research Project Model Checking (WS2026)

2026-09-17T10:50:21Z

Andrea Kühn:

{{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 examines 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 research tasks assigned to individual students 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 ===

* Umfassende Kenntnisse in Model Checking, vorzugsweise aus der Vorlesung ''Model Checking'' oder aus vergleichbaren Lehrveranstaltungen anderer Universitäten
* Solide Grundlagen in Algorithmen und Datenstrukturen, Automatentheorie, formalen Sprachen und Komplexitätstheorie
* Grundlegende Mathematikkenntnisse
* Programmierkenntnisse in Java oder C/C++ sind von Vorteil, falls Sie kein rein theoretisches Thema bearbeiten möchten

=== 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 examines 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 research tasks assigned to individual students 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].
}}

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

2026-09-17T09:25:09Z

Andrea Kühn:

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

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

2026-09-17T09:23:58Z

Andrea Kühn:

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

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

2026-09-17T09:23:09Z

Andrea Kühn:

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

CMS Research Project Model Checking (WS2026)

2026-09-17T08:42:49Z

Andrea Kühn:

{{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 examines 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 research tasks assigned to individual students 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 ===

* Umfassende Kenntnisse in Model Checking, vorzugsweise aus der Vorlesung ''Model Checking'' oder aus vergleichbaren Lehrveranstaltungen anderer Universitäten
* Solide Grundlagen in Algorithmen und Datenstrukturen, Automatentheorie, formalen Sprachen und Komplexitätstheorie
* Grundlegende Mathematikkenntnisse
* Programmierkenntnisse in Java oder C/C++ sind von Vorteil, falls Sie kein rein theoretisches Thema bearbeiten möchten

=== 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 examines 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 research tasks assigned to individual students 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].
}}

CMS Research Project Model Checking (WS2026)

2026-09-17T08:38:24Z

Andrea Kühn:

{{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 examines 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 research tasks assigned to individual students 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 ===

* Umfassende Kenntnisse in Model Checking, vorzugsweise aus der Vorlesung ''Model Checking'' oder aus vergleichbaren Lehrveranstaltungen anderer Universitäten
* Solide Grundlagen in Algorithmen und Datenstrukturen, Automatentheorie, formalen Sprachen und Komplexitätstheorie
* Grundlegende Mathematikkenntnisse
* Programmierkenntnisse in Java oder C/C++ sind von Vorteil, sofern Sie nicht ein rein theoretisches Thema bearbeiten möchten

=== 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 examines 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 research tasks assigned to individual students 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].
}}

Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-16T14:01:58Z

Andrea Kühn:

{{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|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-16T13:59:46Z

Andrea Kühn:

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

Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-16T13:58:14Z

Andrea Kühn:

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

Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-16T13:46:03Z

Andrea Kühn:

{{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|chair's website]] under the tab ''Active Projects''.

The Student Project Seminar is generally 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 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].
}}

Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-16T13:44:47Z

Andrea Kühn:

{{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|chair's website]] 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 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-16T13:35:58Z

Andrea Kühn:

{{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|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 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 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-16T12:43:19Z

Andrea Kühn:

{{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 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|chair's website]] under the tab ''Active Projects''.

''Analysis of a Research Topic'' can be combined with a thesis at the chair or taken separately 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].
}}

Lecture Modal Logic (WS2026)

2026-09-16T12:28:03Z

Andrea Kühn:

{{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 in 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 Modal Logic (WS2026)

2026-09-16T12:27:09Z

Andrea Kühn:

{{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 in 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-16T12:17:07Z

Andrea Kühn:

{{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 praktischen Ü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). 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 in 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 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 practical 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].
}}

Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-15T13:13:06Z

Andrea Kühn:

{{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 (ca. 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=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 incl. question-and-answer session (25 minutes) and a written report (approx. 5-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].
}}

Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-15T13:10:29Z

Andrea Kühn:

{{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 inkl. Fragenrunde (25 Minuten) sowie eine schriftliche Zusammenfassung (ca. 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=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 incl. question-and-answer session (25 minutes) and a written report (approx. 5-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].
}}

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

2026-09-15T13:08:58Z

Andrea Kühn:

{{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 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=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 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].
}}

Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026)

2026-09-15T13:05:47Z

Andrea Kühn:

{{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 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=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 ''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].
}}

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

2026-09-15T13:04:05Z

Andrea Kühn:

{{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 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=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 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].
}}