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

Advanced Logics (SS2026)

2026-04-23T12:42:06Z

Johannes Lehmann:

{{Vorlesung
|Title=Lecture “Advanced Logics”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, CMS-LM-AI, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, INF-25-Ma-FTK-TI, INF-25-Ma-FTK-AL
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Description=The purpose of this course is to study several extensions of classical propositional, first-order and second-order logic. We will concentrate on aspects of mathematical logic that are relevant for computer science, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.

This lecture is in English.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015115 via Opal] is required until April 30.

=== Prerequisites ===

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

=== Dates ===
* Lecture: Thursdays and Fridays, 9:20–10:50, APB E005 (starting April 16)
* Tutorial: Thursdays, 11:10–12:40, APB E005 (starting April 23)

=== Creditability ===
'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-510}}: oral exam (30 minutes)
* {{ModuleLink|INF-B-520}}: oral exam (30 minutes)

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-BAS6}}: exam according to module description
* {{ModuleLink|INF-VERT6}}: exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-BAS6}}: exam according to module description
* {{ModuleLink|INF-VERT6}}: exam according to module description

'''Master Computational Logic'''
* {{ModuleLink|MCL-AL}}: exam according to module description

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-LM-MOC}}: oral exam (30 minutes)
* {{ModuleLink|CMS-LM-ADV}}: oral exam (30 minutes)
* {{ModuleLink|CMS-LM-AI}}: oral exam (30 minutes)

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-TI}}: exam according to module description
* {{ModuleLink|INF-25-Ma-FTK-AL}}: exam according to module description

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-TI}}: exam according to module description
* {{ModuleLink|INF-25-Ma-FTK-AL}}: exam according to module description

=== Oral Exams ===
Appointments for the oral examination are made via our secretary's office. Please contact [[Andrea Kühn]] via email.

=== Contact ===

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

Advanced Logics (SS2026)

2026-04-22T10:40:24Z

Johannes Lehmann:

{{Vorlesung
|Title=Lecture “Advanced Logics”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, CMS-LM-AI, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, INF-25-Ma-FTK-TI, INF-25-Ma-FTK-AL
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Description=The purpose of this course is to study several extensions of classical propositional, first-order and second-order logic. We will concentrate on aspects of mathematical logic that are relevant for computer science, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.

This lecture is in English.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015115 via Opal] is required until April 30.

=== Prerequisites ===

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

=== Dates ===
* Lecture: Thursdays and Fridays, 9:20–10:50, APB E005 (starting April 16)
* Tutorial: Thursdays, 11:10–12:40, APB E005 (starting April 23)

=== Creditability ===
'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-510}}: oral exam (30 minutes)
* {{ModuleLink|INF-B-520}}: oral exam (30 minutes)

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-BAS6}}: exam according to module description
* {{ModuleLink|INF-VERT6}}: exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-BAS6}}: exam according to module description
* {{ModuleLink|INF-VERT6}}: exam according to module description

'''Master Computational Logic'''
* {{ModuleLink|MCL-AL}}: exam according to module description

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-LM-MOC}}: oral exam (30 minutes)
* {{ModuleLink|CMS-LM-ADV}}: oral exam (30 minutes)
* {{ModuleLink|CMS-LM-AI}}: oral exam (30 minutes)

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-TI}}: exam according to module description
* {{ModuleLink|INF-25-Ma-FTK-AL}}: exam according to module description

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-TI}}: exam according to module description

=== Oral Exams ===
Appointments for the oral examination are made via our secretary's office. Please contact [[Andrea Kühn]] via email.

=== Contact ===

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

CeTI

2026-03-27T13:27:09Z

Johannes Lehmann:

{{Projekt
|Kurzname=CeTI
|Name=Centre for Tactile Internet with Human-in-the-Loop
|Name EN=Centre for Tactile Internet with Human-in-the-Loop
|Beschreibung DE=Die Vision von CeTI, einem Exzellenzcluster der Technischen Universität Dresden, ist es, Menschen in die Lage zu versetzen, mit cyber-physischen Systemen in der realen oder virtuellen Welt über intelligente Kommunikationsnetze und -systeme nahezu in Echtzeit zu interagieren.

Solche Fortschritte gehen weit über den aktuellen Stand der Technik in den Computer- und Ingenieurwissenschaften hinaus: Intelligente Kommunikationsnetze und adaptive CPS für Quasi-Echtzeit-Kooperationen mit dem Menschen erfordern gegenseitige Online-Lernmechanismen, die eine entscheidende Herausforderung darstellen.

Um diese Herausforderungen zu bewältigen, wird CeTI einzigartige interdisziplinäre Forschung betreiben und wichtige offene Forschungsthemen in den Schlüsselbereichen der Komplexität der menschlichen Kontrolle in der Mensch-Maschine-Schleife, Sensor- und Aktortechnologien, Software- und Hardware-Designs und der Kommunikationsnetzwerke als Grundlage für mehrere neuartige Anwendungsfälle, eingeteilt in Medizin, Industrie und dem Internet der Fähigkeiten, behandeln.

Diese Seite zeigt nur die Beteiligung von ICCL-Forschenden in CeTI. Viele weitere Informationen sind auf der offiziellen Webseite des Exzellenzclusters zu finden.
|Beschreibung EN=The vision of CeTI, a Cluster of Excellence at the University of Technology Dresden, is to enable people to interact with cyber-physical systems in the real or virtual world via intelligent communication networks and systems in near real time.

Such advances go far beyond the current state-of-the-art approaches in computer and engineering sciences: intelligent communication networks and adaptive CPS for quasi real-time co-operations with humans require online mutual learning mechanisms, which are crucial challenges.

To tackle these challenges, CeTI will conduct unique interdisciplinary research and will address major open research topics in key areas of the complexity of human control in the human–machine loop, sensor and actuator technologies, software and hardware designs, and the communication networks as the basis for several novel use cases grouped in medicine, industry, and the Internet of Skills.

This page only shows the activity of ICCL researchers in CeTI. Many further information can be found on the official website of the cluster of excellence.
|Kontaktperson=Frank Fitzek
|URL=https://ceti.one/
|Start=1 Jan 2019
|Finanziert von=DFG
|Projektstatus=aktiv
|Logo=20260127_CeTI_Logo-Signet_RGB-t.svg
|Person=Markus Krötzsch, Christel Baier
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik, Wissensbasierte Systeme
}}

CeTI

2026-03-27T13:26:28Z

Johannes Lehmann:

{{Projekt
|Kurzname=CeTI
|Name=Centre for Tactile Internet with Human-in-the-Loop
|Name EN=Centre for Tactile Internet with Human-in-the-Loop
|Beschreibung DE=Die Vision von CeTI, einem Exzellenzcluster der Technischen Universität Dresden, ist es, Menschen in die Lage zu versetzen, mit cyber-physischen Systemen in der realen oder virtuellen Welt über intelligente Kommunikationsnetze und -systeme nahezu in Echtzeit zu interagieren.

Solche Fortschritte gehen weit über den aktuellen Stand der Technik in den Computer- und Ingenieurwissenschaften hinaus: Intelligente Kommunikationsnetze und adaptive CPS für Quasi-Echtzeit-Kooperationen mit dem Menschen erfordern gegenseitige Online-Lernmechanismen, die eine entscheidende Herausforderung darstellen.

Um diese Herausforderungen zu bewältigen, wird CeTI einzigartige interdisziplinäre Forschung betreiben und wichtige offene Forschungsthemen in den Schlüsselbereichen der Komplexität der menschlichen Kontrolle in der Mensch-Maschine-Schleife, Sensor- und Aktortechnologien, Software- und Hardware-Designs und der Kommunikationsnetzwerke als Grundlage für mehrere neuartige Anwendungsfälle, eingeteilt in Medizin, Industrie und dem Internet der Fähigkeiten, behandeln.

Diese Seite zeigt nur die Beteiligung von ICCL-Forschenden in CeTI. Viele weitere Informationen sind auf der offiziellen Webseite des Exzellenzclusters zu finden.
|Beschreibung EN=The vision of CeTI, a Cluster of Excellence at the University of Technology Dresden, is to enable people to interact with cyber-physical systems in the real or virtual world via intelligent communication networks and systems in near real time.

Such advances go far beyond the current state-of-the-art approaches in computer and engineering sciences: intelligent communication networks and adaptive CPS for quasi real-time co-operations with humans require online mutual learning mechanisms, which are crucial challenges.

To tackle these challenges, CeTI will conduct unique interdisciplinary research and will address major open research topics in key areas of the complexity of human control in the human–machine loop, sensor and actuator technologies, software and hardware designs, and the communication networks as the basis for several novel use cases grouped in medicine, industry, and the Internet of Skills.

This page only shows the activity of ICCL researchers in CeTI. Many further information can be found on the official website of the cluster of excellence.
|Kontaktperson=Frank Fitzek
|URL=https://ceti.one/
|Start=1 Jan 2019
|Finanziert von=DFG
|Projektstatus=aktiv
|Logo=CeTI Logo-Signet RGB-t.svg
|Person=Markus Krötzsch, Christel Baier
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik, Wissensbasierte Systeme
}}

CeTI

2026-03-27T13:26:02Z

Johannes Lehmann:

{{Projekt
|Kurzname=CeTI
|Name=Centre for Tactile Internet with Human-in-the-Loop
|Name EN=Centre for Tactile Internet with Human-in-the-Loop
|Beschreibung DE=Die Vision von CeTI, einem Exzellenzcluster der Technischen Universität Dresden, ist es, Menschen in die Lage zu versetzen, mit cyber-physischen Systemen in der realen oder virtuellen Welt über intelligente Kommunikationsnetze und -systeme nahezu in Echtzeit zu interagieren.

Solche Fortschritte gehen weit über den aktuellen Stand der Technik in den Computer- und Ingenieurwissenschaften hinaus: Intelligente Kommunikationsnetze und adaptive CPS für Quasi-Echtzeit-Kooperationen mit dem Menschen erfordern gegenseitige Online-Lernmechanismen, die eine entscheidende Herausforderung darstellen.

Um diese Herausforderungen zu bewältigen, wird CeTI einzigartige interdisziplinäre Forschung betreiben und wichtige offene Forschungsthemen in den Schlüsselbereichen der Komplexität der menschlichen Kontrolle in der Mensch-Maschine-Schleife, Sensor- und Aktortechnologien, Software- und Hardware-Designs und der Kommunikationsnetzwerke als Grundlage für mehrere neuartige Anwendungsfälle, eingeteilt in Medizin, Industrie und dem Internet der Fähigkeiten, behandeln.

Diese Seite zeigt nur die Beteiligung von ICCL-Forschenden in CeTI. Viele weitere Informationen sind auf der offiziellen Webseite des Exzellenzclusters zu finden.
|Beschreibung EN=The vision of CeTI, a Cluster of Excellence at the University of Technology Dresden, is to enable people to interact with cyber-physical systems in the real or virtual world via intelligent communication networks and systems in near real time.

Such advances go far beyond the current state-of-the-art approaches in computer and engineering sciences: intelligent communication networks and adaptive CPS for quasi real-time co-operations with humans require online mutual learning mechanisms, which are crucial challenges.

To tackle these challenges, CeTI will conduct unique interdisciplinary research and will address major open research topics in key areas of the complexity of human control in the human–machine loop, sensor and actuator technologies, software and hardware designs, and the communication networks as the basis for several novel use cases grouped in medicine, industry, and the Internet of Skills.

This page only shows the activity of ICCL researchers in CeTI. Many further information can be found on the official website of the cluster of excellence.
|Kontaktperson=Frank Fitzek
|URL=https://ceti.one/
|Start=1 Jan 2019
|Finanziert von=DFG
|Projektstatus=aktiv
|Logo=CeTI MZ RGB Subline.svg 20260127 CeTI Logo-Signet RGB-t.svg
|Person=Markus Krötzsch, Christel Baier
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik, Wissensbasierte Systeme
}}

Datei:20260127 CeTI Logo-Signet RGB-t.svg

2026-03-27T13:25:59Z

Johannes Lehmann:

SEMECO-Q1

2026-03-27T13:23:16Z

Johannes Lehmann:

{{Projekt
|Kurzname=SEMECO-Q1
|Name=Sichere Medizinische Mikrosysteme und Kommunikation: Sichere & Vertrauenswürdige Systemarchitekturen
|Name EN=Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture
|Beschreibung DE=Weitere informationen finden Sie auf der [https://semeco.info/projekte/secure-and-trustworthy-system-architectures/ externen Projektwebseite].
|Beschreibung EN=For more information, see the [https://semeco.info/projekte/secure-and-trustworthy-system-architectures/ external project website].
|Kontaktperson=Christel Baier
|URL=https://semeco.info/projekte/secure-and-trustworthy-system-architectures/
|Start=01.05.2023
|Ende=30.04.2026
|Finanziert von=BMBF
|Projektstatus=aktiv
|Logo=Semeco-logo.png
|Person=Christel Baier, Calvin Chau
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik
}}

Seminar Selected Topics in Logic and Verification (SS2026)

2026-03-27T13:22:08Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, CMS-SEM-A, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science).

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015126 via Opal] is required until April 20.

=== Prerequisites ===

The seminar addresses students that have profound knowledge in theoretical computer science and logics.

=== Dates ===

All participants will be notified about the initital meeting by e-mail. Each participant is then assigned a topic and a supervisor.

Presentations will be held between June and August. The specific dates will be announced later. The seminar paper (Seminararbeit) is due by August 16.

=== Exam and Creditability ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-510}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)
* {{ModuleLink|INF-B-520}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-AQUA}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-940}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Medieninformatik'''
* {{ModuleLink|INF-AQUA}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Computational Logic'''
* {{ModuleLink|MCL-PS}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM-A}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)
* {{ModuleLink|CMS-LM-MOC}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)
* {{ModuleLink|CMS-LM-ADV}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

=== Contact ===

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

Proseminar Theoretische Informatik (SS2026)

2026-03-27T13:14:35Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Theoretische Informatik“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=SS
|Year=2026
|Module=INF-25-BA-WIA, INF-B-610, INF-D-520
|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.

Das Proseminar wird auf Deutsch abgehalten.

=== Registrierung ===

Die Teilnahme setzt eine Registierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015124 via Opal] bis zum 20. April voraus.

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

=== Ablauf ===

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

Die Vorträge werden als Blockveranstaltung im Zeitraum Juni–August 2026 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 30. August 2026 einzureichen.

=== Prüfungsleistung und anrechenbare Module ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Medieninformatik'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Angewandte Informatik'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-520}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

=== Kontakt ===

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

Proseminar Binäre Entscheidungsgraphen (SS2026)

2026-03-27T13:14:06Z

Johannes Lehmann:

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

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

=== Registrierung ===

Die Teilnahme setzt eine Registierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015123 via Opal] bis zum 20. April voraus.

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

=== Ablauf ===

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

Die Vorträge werden als Blockveranstaltung im Zeitraum Juni–August 2026 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 30. August 2026 einzureichen.

=== Prüfungsleistung und anrechenbare Module ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-520}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Medieninformatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

=== Kontakt ===

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

Advanced Logics (SS2026)

2026-03-27T13:13:23Z

Johannes Lehmann:

{{Vorlesung
|Title=Lecture “Advanced Logics”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, CMS-LM-AI, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, INF-25-Ma-FTK-TI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Description=The purpose of this course is to study several extensions of classical propositional, first-order and second-order logic. We will concentrate on aspects of mathematical logic that are relevant for computer science, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.

This lecture is in English.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015115 via Opal] is required until April 30.

=== Prerequisites ===

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

=== Dates ===
* Lecture: Thursdays and Fridays, 9:20–10:50, APB E005 (starting April 16)
* Tutorial: Thursdays, 11:10–12:40, APB E005 (starting April 23)

=== Creditability ===
'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-510}}: oral exam (30 minutes)
* {{ModuleLink|INF-B-520}}: oral exam (30 minutes)

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-BAS6}}: exam according to module description
* {{ModuleLink|INF-VERT6}}: exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-BAS6}}: exam according to module description
* {{ModuleLink|INF-VERT6}}: exam according to module description

'''Master Computational Logic'''
* {{ModuleLink|MCL-AL}}: exam according to module description

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-LM-MOC}}: oral exam (30 minutes)
* {{ModuleLink|CMS-LM-ADV}}: oral exam (30 minutes)
* {{ModuleLink|CMS-LM-AI}}: oral exam (30 minutes)

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-TI}}: exam according to module description

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-TI}}: exam according to module description

=== Oral Exams ===
Appointments for the oral examination are made via our secretary's office. Please contact [[Andrea Kühn]] via email.

=== Contact ===

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

Proseminar Binäre Entscheidungsgraphen (SS2026)

2026-03-27T13:11:55Z

Johannes Lehmann:

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

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

=== Registrierung ===

Die Teilnahme setzt eine Registierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015123 via Opal] bis zum 20. April voraus.

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

=== Ablauf ===

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

Die Vorträge werden als Blockveranstaltung im Zeitraum Juni–August 2026 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 30. August 2026 einzureichen.

=== Prüfungsleistung und anrechenbare Module ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-520}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Medieninformatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

=== Kontakt ===

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

Laborkurs Modeling and Automated Verification (SS2026)

2026-03-27T13:10:31Z

Johannes Lehmann:

{{Vorlesung
|Title=Lab Course „Modeling and Automated Verification“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, MCL-PS
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or are part of current research projects of our workgroup. An overview is given on the [[Algebraische und logische Grundlagen der Informatik/en|homepage of the chair]] under the tab ''Active Projects''.

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015120 via Opal] is required until April 20.

=== Prerequisites ===

* Solid foundations in algorithms and data structures, complexity theory, automata theory and formal languages
* Solid programming skills
* Basic mathematical foundations

=== Exam and Creditability ===

'''Master Computational Logic'''
* {{ModuleLink|MCL-PS}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-LM-MOC}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)
* {{ModuleLink|CMS-LM-ADV}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)

=== Contact ===

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

Komplexpraktikum Modellierung und quantitative Systemanalyse I (SS2026)

2026-03-27T13:09:45Z

Johannes Lehmann:

{{Vorlesung
|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-MA-PR
|SWSLecture=0
|SWSExercise=0
|SWSPractical=4
|Description=The Komplexpraktikum “Modeling and Quantitative System Analysis I” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. An overview is given on the [[Algebraische und logische Grundlagen der Informatik/en|homepage of the chair]] under the tab ''Active Projects''.

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015119 via Opal] is required until April 20.

=== Prerequisites ===

In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.

=== Dates ===

All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-MA-PR}}: exam according to module description

=== Contact ===

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

Komplexpraktikum Modellierung und quantitative Systemanalyse I (SS2026)

2026-03-27T13:09:14Z

Johannes Lehmann:

{{Vorlesung
|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-MA-PR
|SWSLecture=0
|SWSExercise=0
|SWSPractical=4
|Description=The Komplexpraktikum “Modeling and Quantitative System Analysis I” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. An overview is given on the [[Algebraische und logische Grundlagen der Informatik/en|homepage of the chair]] under the tab ''Active Projects''.{{{L|german}}}

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015119 via Opal] is required until April 20.

=== Prerequisites ===

In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.

=== Dates ===

All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-MA-PR}}: exam according to module description

=== Contact ===

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

Komplexpraktikum Modellierung und quantitative Systemanalyse I (SS2026)

2026-03-27T13:08:11Z

Johannes Lehmann:

{{Vorlesung
|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-MA-PR
|SWSLecture=0
|SWSExercise=0
|SWSPractical=4
|Description=The Komplexpraktikum “Modeling and Quantitative System Analysis I” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. An overview is given on the [[Algebraische und logische Grundlagen der Informatik/en|homepage of the chair]] under the tab ''Active Projects''.{{L|not given}}

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015119 via Opal] is required until April 20.

=== Prerequisites ===

In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.

=== Dates ===

All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-MA-PR}}: exam according to module description

=== Contact ===

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

Komplexpraktikum Modellierung und quantitative Systemanalyse I (SS2026)

2026-03-27T13:07:53Z

Johannes Lehmann:

Komplexpraktikum Modellierung und quantitative Systemanalyse II (SS2026)

2026-03-27T13:07:34Z

Johannes Lehmann:

{{Vorlesung
|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse II“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-MA-PR
|SWSLecture=0
|SWSExercise=0
|SWSPractical=8
|Description=The Komplexpraktikum “Modeling and Quantitative System Analysis II” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. An overview is given on the [[Algebraische und logische Grundlagen der Informatik/en|homepage of the chair]] under the tab ''Active Projects''.

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015118 via Opal] is required until April 20.

=== Prerequisites ===

In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.

=== Dates ===

All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-MA-PR}}: exam according to module description

=== Contact ===

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

Komplexpraktikum Modellierung und quantitative Systemanalyse II (SS2026)

2026-03-27T13:06:31Z

Johannes Lehmann:

{{Vorlesung
|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse II“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-MA-PR
|SWSLecture=0
|SWSExercise=0
|SWSPractical=8
|Description=The Komplexpraktikum “Modeling and Quantitative System Analysis II” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. An overview is given on the [[Algebraische und logische Grundlagen der Informatik/en|homepage of the chair]] under the tab ''active projects''.

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015118 via Opal] is required until April 20.

=== Prerequisites ===

In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.

=== Dates ===

All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-MA-PR}}: exam according to module description

=== Contact ===

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

Teamprojekt Model Checking (SS2026)

2026-03-27T12:49:29Z

Johannes Lehmann:

{{Vorlesung
|Title=Team Project „Model Checking“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-TEA
|SWSLecture=0
|SWSExercise=0
|SWSPractical=8
|Description=This course offers advanced topics in the field of formal modeling and analysis. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming as well as theoretical problems. Within this research-relevant project, students are working in teams of about 2 to 4 people to solve a complex interdisciplinary task that includes different areas of logical modeling and model checking.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015128 via Opal] is required until April 20.

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

Participants will be notified via e-mail about the initial meeting, where each group is assigned a topic. Presentations will be held between June and August. The specific dates will be announced later.

The written summary is due by August 30, 2026.

=== Exam and Creditability ===

'''Master Computational Modeling and Simulation'''

* {{ModuleLink|CMS-LM-TEA}}: exam according to module description

=== Contact ===

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

Laborkurs Modeling and Automated Verification (SS2026)

2026-03-27T12:48:57Z

Johannes Lehmann:

{{Vorlesung
|Title=Lab Course „Modeling and Automated Verification“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, MCL-PS
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or are part of current research projects of our workgroup. See for example:

* [https://www.perspicuous-computing.science/ CPEC]
* [https://ceti.one/ CeTI]
* [https://secai.org/de SECAI]
* [https://digitalhealth.tu-dresden.de/projects/semeco/ SEMECO]
* [http://5glab.de/ 5G-Lab Germany]

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015120 via Opal] is required until April 20.

=== Prerequisites ===

* Solid foundations in algorithms and data structures, complexity theory, automata theory and formal languages
* Solid programming skills
* Basic mathematical foundations

=== Exam and Creditability ===

'''Master Computational Logic'''
* {{ModuleLink|MCL-PS}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-LM-MOC}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)
* {{ModuleLink|CMS-LM-ADV}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)

=== Contact ===

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

Teamprojekt Model Checking (SS2026)

2026-03-16T14:27:00Z

Johannes Lehmann:

{{Vorlesung
|Title=Teamprojekt „Model Checking“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-TEA
|SWSLecture=0
|SWSExercise=0
|SWSPractical=8
|Description=This course offers advanced topics in the field of formal modeling and analysis. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming as well as theoretical problems. Within this research-relevant project, students are working in teams of about 2 to 4 people to solve a complex interdisciplinary task that includes different areas of logical modeling and model checking.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015128 via Opal] is required until April 20.

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

Participants will be notified via e-mail about the initial meeting, where each group is assigned a topic. Presentations will be held between June and August. The specific dates will be announced later.

The written summary is due by August 30, 2026.

=== Exam and Creditability ===

'''Master Computational Modeling and Simulation'''

* {{ModuleLink|CMS-LM-TEA}}: exam according to module description

=== Contact ===

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

Algebraische und logische Grundlagen der Informatik

2026-03-16T13:09:11Z

Johannes Lehmann:

{{Forschungsgruppe
|Name EN=Algebraic and Logical Foundations of Computer Science
|Kurzname=ALG
|Beschreibung DE=Die Forschungsgruppe ''Algebraische und logische Grundlagen der Informatik'' beschäftigt sich mit der Modellierung, Spezifikation und Verifikation reaktiver Systeme. Zu den Forschungsschwerpunkten gehören die formale Analyse und Synthese stochastischer Systeme sowie Konzepte der Erklärbarkeit im Kontext formaler Methoden. Weitere Forschungsthemen sind Automatentheorie, temporale und modale Logiken, Spieltheorie und dynamische Systeme.
|Beschreibung EN=The chair of ''Algebraic and Logical Foundations of Computer Science'' researches the modeling, specification and verification of reactive systems. The focus is on the formal analysis and synthesis of stochastic systems and on explainability in the context of formal methods. Further areas of research include automata theory, temporal and modal logics, game theory and dynamic systems.
|Forschungsgruppenleiter=Christel Baier
|Sekretariat Mail=secretary_alg@mailbox.tu-dresden.de
|Bild=Gruppenfoto.jpeg
|Ehemalige Forschungsgruppe=0
|Name DE=Algebraische und logische Grundlagen der Informatik
|Anzahl Lehrveranstaltungen in Tab=16
|Lehrveranstaltungen als Boxen anzeigen=true
|Hinweis im Lehre-Tab DE=<h4>Abschlussarbeiten</h4>{{:Algebraische und logische Grundlagen der Informatik/Abschlussarbeiten}}
|Hinweis im Lehre-Tab EN=<h4>Theses</h4>{{:Algebraische und logische Grundlagen der Informatik/Abschlussarbeiten/en}}
}}

Profilprojekt Grundlagenforschung (SS2026)

2026-03-16T12:56:35Z

Johannes Lehmann:

{{Vorlesung
|Title=Profilprojekt Grundlagenforschung
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-PM-FPG
|SWSLecture=0
|SWSExercise=0
|SWSPractical=0
|UmfangAlternativ=8P/PB
|Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialisation and independent research work.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015122 via Opal] is required until April 20.

=== Exam and Creditability ===

We offer two ''Profilprojekte'' for the module INF-PM-FPG. The two courses have a unified registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015122 via Opal]. If you have questions about the differences between the courses, please contact [[Sascha Klüppelholz]].

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Forschungsprojekt Formale Methoden“'': exam according to module description
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Grundlagenforschung in der Informatik“'': exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Forschungsprojekt Formale Methoden“'': exam according to module description
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Grundlagenforschung in der Informatik“'': exam according to module description

=== Contact ===

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

Laborkurs Modeling and Automated Verification (SS2026)

2026-03-16T12:55:18Z

Johannes Lehmann: Johannes Lehmann verschob die Seite Laborkurs Modeling and Automated Verification (WS2026) nach Laborkurs Modeling and Automated Verification (SS2026), ohne dabei eine Weiterleitung anzulegen

{{Vorlesung
|Title=Laborkurs „Modeling and Automated Verification“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, MCL-PS
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or are part of current research projects of our workgroup. See for example:

* [https://www.perspicuous-computing.science/ CPEC]
* [https://ceti.one/ CeTI]
* [https://secai.org/de SECAI]
* [https://digitalhealth.tu-dresden.de/projects/semeco/ SEMECO]
* [http://5glab.de/ 5G-Lab Germany]

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015120 via Opal] is required until April 20.

=== Prerequisites ===

* Solid foundations in algorithms and data structures, complexity theory, automata theory and formal languages
* Solid programming skills
* Basic mathematical foundations

=== Exam and Creditability ===

'''Master Computational Logic'''
* {{ModuleLink|MCL-PS}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-LM-MOC}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)
* {{ModuleLink|CMS-LM-ADV}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)

=== Contact ===

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

Teamprojekt Model Checking (SS2026)

2026-03-16T12:41:22Z

Johannes Lehmann:

{{Vorlesung
|Title=Teamprojekt „Model Checking“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-TEA
|SWSLecture=0
|SWSExercise=0
|SWSPractical=8
|Description=This course offers advanced topics in the field of formal modeling and analysis. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming as well as theoretical problems. Within this research-relevant project, students are working in teams of about 2 to 4 people to solve a complex interdisciplinary task that includes different areas of logical modeling and model checking.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015128 via Opal] is required until April 20.

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

Participants will be notified via e-mail about the initial meeting, where each group is assigned a topic. Presentations will be held between January and March. The specific dates will be announced later.

The written summary is due by August 30, 2026.

=== Exam and Creditability ===

'''Master Computational Modeling and Simulation'''

* {{ModuleLink|CMS-LM-TEA}}: exam according to module description

=== Contact ===

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

Seminar Selected Topics in Logic and Verification (SS2026)

2026-03-16T12:39:54Z

Johannes Lehmann:

{{Vorlesung
|Title=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, CMS-SEM-A, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science).

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015126 via Opal] is required until April 20.

=== Prerequisites ===

The seminar addresses students that have profound knowledge in theoretical computer science and logics.

=== Dates ===

All participants will be notified about the initital meeting by e-mail. Each participant is then assigned a topic and a supervisor.

Presentations will be held between June and August. The specific dates will be announced later. The seminar paper (Seminararbeit) is due by August 16.

=== Exam and Creditability ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-510}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)
* {{ModuleLink|INF-B-520}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-AQUA}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-940}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Medieninformatik'''
* {{ModuleLink|INF-AQUA}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Computational Logic'''
* {{ModuleLink|MCL-PS}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)
* {{ModuleLink|CMS-LM-MOC}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)
* {{ModuleLink|CMS-LM-ADV}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

=== Contact ===

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

Research Seminar Formal Methods (SS2026)

2026-03-16T12:37:54Z

Johannes Lehmann:

{{Vorlesung
|Title=Research Seminar “Formal Methods”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Term=SS
|Year=2026
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Language=EN
|Module=INF-PM-FOR
|Description=This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants engage with selected topics from the field of Model Checking.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015125 via Opal] is required until April 20.

=== Prerequisites ===

The seminar addresses students that have profound knowledge in theoretical computer science and logics. Background knowledge in the areas of formal methods (and model checking in particular) or concurrency theory is recommended.

=== Dates ===

All participants will be notified about the initital meeting by e-mail.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FOR}}: exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FOR}}: exam according to module description

=== Contact ===

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

Proseminar Theoretische Informatik (SS2026)

2026-03-16T12:36:17Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Theoretische Informatik“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=SS
|Year=2026
|Module=INF-25-BA-WIA, INF-B-610, INF-D-520
|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.

Das Proseminar wird auf Deutsch abgehalten.

=== Registrierung ===

Die Teilnahme setzt eine Registierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015124 via Opal] bis zum 20. April voraus.

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

=== Ablauf ===

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

Die Vorträge werden als Blockveranstaltung im Zeitraum Juni–August 2026 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 30. August 2026 einzureichen.

=== Prüfungsleistung und anrechenbare Module ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

'''Bachelor Medieninformatik'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor angewandte Informatik'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-520}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

=== Kontakt ===

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

Proseminar Binäre Entscheidungsgraphen (SS2026)

2026-03-16T12:34:15Z

Johannes Lehmann:

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

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

=== Registrierung ===

Die Teilnahme setzt eine Registierung [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015123 via Opal] bis zum 20. April voraus.

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

=== Ablauf ===

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

Die Vorträge werden als Blockveranstaltung im Zeitraum Juni–August 2026 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 30. August 2026 einzureichen.

=== Prüfungsleistung und anrechenbare Module ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-520}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Medieninformatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Master Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

=== Kontakt ===

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

Profilprojekt Grundlagenforschung (SS2026)

2026-03-16T12:31:48Z

Johannes Lehmann:

{{Vorlesung
|Title=Profilprojekt Grundlagenforschung
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-PM-FPG
|SWSLecture=0
|SWSExercise=0
|SWSPractical=0
|UmfangAlternativ=8P/PB
|Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialisation and independent research work.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015122 via Opal] is required until April 20.

=== Exam and Creditability ===

We offer two ''Profilprojekte'' for the module INF-PM-FPG. The two courses have a unified registration via Opal. If you have questions about the differences between the courses, please contact [[Sascha Klüppelholz]].

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Forschungsprojekt Formale Methoden“'': exam according to module description
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Grundlagenforschung in der Informatik“'': exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Forschungsprojekt Formale Methoden“'': exam according to module description
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Grundlagenforschung in der Informatik“'': exam according to module description

=== Contact ===

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

Profilprojekt Anwendungsforschung (SS2026)

2026-03-16T12:28:29Z

Johannes Lehmann:

{{Vorlesung
|Title=Profilprojekt Anwendungsforschung
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-PM-FPA
|SWSLecture=0
|SWSExercise=0
|SWSPractical=0
|UmfangAlternativ=8P/PB
|Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialisation and independent research work.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015121 via Opal] is required until April 20.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPA}}: exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPA}}: exam according to module description

=== Contact ===

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

Laborkurs Modeling and Automated Verification (SS2026)

2026-03-16T12:26:41Z

Johannes Lehmann:

Komplexpraktikum Modellierung und quantitative Systemanalyse I (SS2026)

2026-03-16T12:24:21Z

Johannes Lehmann:

{{Vorlesung
|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-MA-PR
|SWSLecture=0
|SWSExercise=0
|SWSPractical=4
|Description=The course is intended for students enrolled in the Master or Diplom programs Informatik (computer science) as well as for those enrolled in the Diplom program Informationssystemtechnik (information systems engineering). The Komplexpraktikum “Modeling and Quantitative System Analysis I” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. The following links give more information on these projects:

* [https://www.perspicuous-computing.science/ CPEC]
* [https://ceti.one/ CeTI]
* [https://secai.org/de SECAI]
* [https://digitalhealth.tu-dresden.de/projects/semeco/ SEMECO]
* [http://5glab.de/ 5G-Lab Germany]

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015119 via Opal] is required until April 20.

=== Prerequisites ===

In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.

=== Dates ===

All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-MA-PR}}: exam according to module description

=== Contact ===

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

Komplexpraktikum Modellierung und quantitative Systemanalyse II (SS2026)

2026-03-16T12:22:19Z

Johannes Lehmann:

{{Vorlesung
|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse II“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-MA-PR
|SWSLecture=0
|SWSExercise=0
|SWSPractical=8
|Description=The course is intended for students enrolled in the Master or Diplom programs Informatik (computer science) as well as for those enrolled in the Diplom program Informationssystemtechnik (information systems engineering). The Komplexpraktikum “Modeling and Quantitative System Analysis II” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. The following links give more information on these projects:

* [https://www.perspicuous-computing.science/ CPEC]
* [https://ceti.one/ CeTI]
* [https://secai.org/de SECAI]
* [https://digitalhealth.tu-dresden.de/projects/semeco/ SEMECO]
* [http://5glab.de/ 5G-Lab Germany]

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015118 via Opal] is required until April 20.

=== Prerequisites ===

In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.

=== Dates ===

All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-MA-PR}}: exam according to module description

=== Contact ===

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

Forschungsprojekt Algebraische und logische Grundlagen der Informatik (SS2026)

2026-03-16T12:19:40Z

Johannes Lehmann:

{{Vorlesung
|Title=Forschungsprojekt
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-25-MA-FP
|SWSLecture=0
|SWSExercise=0
|SWSPractical=0
|UmfangAlternativ=Projekte (100 Stunden)
|Description=The Forschungsprojekt is intended for students enrolled in the Master Computer Science and Diplom Informatik programs. Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialisation and independent research work.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015117 via Opal] is required until April 20.

=== Exam and Creditability ===

'''Master Computer Science (PO 2025)'''
* {{ModuleLink|INF-25-MA-FP}}: exam according to module description

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-MA-FP}}: exam according to module description

=== Contact ===

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

CMS Research Project Model Checking (SS2026)

2026-03-16T12:13:31Z

Johannes Lehmann: Johannes Lehmann verschob die Seite CMS Research Project Model Checking (WS2026) nach CMS Research Project Model Checking (SS2026), ohne dabei eine Weiterleitung anzulegen: Falsch geschriebener Name

{{Vorlesung
|Title=CMS Research Project “Model Checking”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-PRO
|SWSLecture=0
|SWSExercise=0
|SWSPractical=12
|Description=This course offers advanced topics in the field of verification and model checking. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming as well as theoretical problems.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015116 via Opal] is required until April 20.

=== 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 enrolled participants will be notified about the initital meeting by e-mail.

=== Exam and Creditability ===
'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-PRO}}: exam according to module description

=== Contact ===

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

CMS Research Project Model Checking (SS2026)

2026-03-16T12:12:59Z

Johannes Lehmann:

Advanced Logics (SS2026)

2026-03-16T12:08:38Z

Johannes Lehmann:

{{Vorlesung
|Title=Lecture “Advanced Logics”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier; Jakob Piribauer
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, CMS-LM-AI, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, INF-25-Ma-FTK-TI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Description=The purpose of this course is to study several extensions of classical propositional, first-order and second-order logic. We will concentrate on aspects of mathematical logic that are relevant for computer science, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.

This lecture is in English.

=== Registration ===

Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53620015115 via Opal] is required until April 30.

=== Prerequisites ===

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

=== Dates ===
* Lecture: Thursdays and Fridays, 9:20–10:50, APB E005 (starting April 16)
* Tutorial: Thursdays, 11:10–12:40, APB E005 (starting April 23)

=== Creditability ===
'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-510}}: oral exam (30 minutes)
* {{ModuleLink|INF-B-520}}: oral exam (30 minutes)

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-BAS6}}: exam according to module description
* {{ModuleLink|INF-VERT6}}: exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-BAS6}}: exam according to module description
* {{ModuleLink|INF-VERT6}}: exam according to module description

'''Master Computational Logic'''
* {{ModuleLink|MCL-AL}}: exam according to module description

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-LM-MOC}}: oral exam (30 minutes)
* {{ModuleLink|CMS-LM-ADV}}: oral exam (30 minutes)
* {{ModuleLink|CMS-LM-AI}}: oral exam (30 minutes)

'''Master Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-TI}}: exam according to module description

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ma-FTK-TI}}: exam according to module description

=== Oral Exams ===
Appointments for the oral examination are made via our secretary's office. Please contact [[Andrea Kühn]] via email.

=== Contact ===

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

Profilprojekt Anwendungsforschung (SS2026)

2026-03-16T12:03:31Z

Johannes Lehmann:

{{Vorlesung
|Title=Profilprojekt Anwendungsforschung
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-PM-FPA
|SWSLecture=0
|SWSExercise=0
|SWSPractical=0
|UmfangAlternativ=8P/PB
|Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialisation and independent research work.

=== Registration ===

Registration via Opal is required until April 20. We will provide a link to Opal once the course is set up.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPA}}: exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPA}}: exam according to module description

=== Contact ===

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

Teamprojekt Model Checking (SS2026)

2026-03-13T10:36:18Z

Johannes Lehmann: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Teamprojekt „Model Checking“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=EN |Term=SS |Year=2026 |Module=CMS-LM-TEA |SWSLecture=0 |SWSExercise=0 |SWSPractical=8 |Description=This course offers advanced topics in the field of formal modeling and analysis. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are…“

{{Vorlesung
|Title=Teamprojekt „Model Checking“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-TEA
|SWSLecture=0
|SWSExercise=0
|SWSPractical=8
|Description=This course offers advanced topics in the field of formal modeling and analysis. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming as well as theoretical problems. Within this research-relevant project, students are working in teams of about 2 to 4 people to solve a complex interdisciplinary task that includes different areas of logical modeling and model checking.

=== Registration ===

Registration via Opal is required until April 20. We will provide a link to Opal once the source is set up.

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

Participants will be notified via e-mail about the initial meeting, where each group is assigned a topic. Presentations will be held between January and March. The specific dates will be announced later.

The written summary is due by August 30, 2026.

=== Exam and Creditability ===

'''Master Computational Modeling and Simulation'''

* {{ModuleLink|CMS-LM-TEA}}: exam according to module description

=== Contact ===

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

Seminar Selected Topics in Logic and Verification (SS2026)

2026-03-13T10:34:50Z

Johannes Lehmann: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar “Selected Topics in Logic and Verification” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=EN |Term=SS |Year=2026 |Module=CMS-LM-ADV, CMS-LM-MOC, CMS-SEM-A, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (compute…“

{{Vorlesung
|Title=Seminar “Selected Topics in Logic and Verification”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, CMS-SEM-A, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science).

=== Registration ===

Registration via Opal is required until April 20. We will provide a link to Opal once the course is set up.

=== Prerequisites ===

The seminar addresses students that have profound knowledge in theoretical computer science and logics.

=== Dates ===

All participants will be notified about the initital meeting by e-mail. Each participant is then assigned a topic and a supervisor.

Presentations will be held between June and August. The specific dates will be announced later. The seminar paper (Seminararbeit) is due by August 16.

=== Exam and Creditability ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-510}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)
* {{ModuleLink|INF-B-520}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-AQUA}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-940}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Medieninformatik'''
* {{ModuleLink|INF-AQUA}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Computational Logic'''
* {{ModuleLink|MCL-PS}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-SEM}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)
* {{ModuleLink|CMS-LM-MOC}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)
* {{ModuleLink|CMS-LM-ADV}}: ''Seminararbeit inkl. Präsentation'' (a 10-page seminar paper and a 30-minute presentation)

=== Contact ===

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

Proseminar Theoretische Informatik (SS2026)

2026-03-13T10:32:49Z

Johannes Lehmann:

{{Vorlesung
|Title=Proseminar „Theoretische Informatik“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=SS
|Year=2026
|Module=INF-25-BA-WIA, INF-B-610, INF-D-520
|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.

Das Proseminar wird auf Deutsch abgehalten.

=== Registrierung ===

Die Teilnahme setzt eine Registierung via Opal bis zum 20. April voraus. Wir stellen ein Link zur Verfügung, sobald der Kurs aufgesetzt ist.

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

=== Ablauf ===

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

Die Vorträge werden als Blockveranstaltung im Zeitraum Juni–August 2026 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 30. August 2026 einzureichen.

=== Prüfungsleistung und anrechenbare Module ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

'''Bachelor Medieninformatik'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor angewandte Informatik'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-520}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

=== Kontakt ===

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

Proseminar Theoretische Informatik (SS2026)

2026-03-13T10:32:35Z

Johannes Lehmann: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar „Theoretische Informatik“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=DE |Term=WS |Year=2025 |Module=INF-25-BA-WIA, INF-B-610, INF-D-520 |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-algor…“

{{Vorlesung
|Title=Proseminar „Theoretische Informatik“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Sascha Klüppelholz
|Language=DE
|Term=WS
|Year=2025
|Module=INF-25-BA-WIA, INF-B-610, INF-D-520
|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.

Das Proseminar wird auf Deutsch abgehalten.

=== Registrierung ===

Die Teilnahme setzt eine Registierung via Opal bis zum 20. April voraus. Wir stellen ein Link zur Verfügung, sobald der Kurs aufgesetzt ist.

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

=== Ablauf ===

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

Die Vorträge werden als Blockveranstaltung im Zeitraum Juni–August 2026 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 30. August 2026 einzureichen.

=== Prüfungsleistung und anrechenbare Module ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

'''Bachelor Medieninformatik'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor angewandte Informatik'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-520}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-BA-WIA}}: nach Modulbeschreibung

=== Kontakt ===

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

Proseminar Binäre Entscheidungsgraphen (SS2026)

2026-03-13T10:31:11Z

Johannes Lehmann:

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

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

=== Registrierung ===

Die Teilnahme setzt eine Registierung via Opal bis zum 20. April voraus. Wir stellen ein Link zur Verfügung, sobald der Kurs aufgesetzt ist.

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

=== Ablauf ===

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

Die Vorträge werden als Blockveranstaltung im Zeitraum Juni–August 2026 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 30. August 2026 einzureichen.

=== Prüfungsleistung und anrechenbare Module ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-520}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Medieninformatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Bachelor Angewandte Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Master Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

=== Kontakt ===

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

Proseminar Binäre Entscheidungsgraphen (SS2026)

2026-03-13T10:30:02Z

Johannes Lehmann: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar „Binäre Entscheidungsgraphen“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=DE |Term=SS |Year=2026 |Module=INF-B-610, INF-D-520, 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 Darstel…“

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

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

=== Registrierung ===

Die Teilnahme setzt eine Registierung via Opal bis zum 20. April voraus. Wir stellen ein Link zur Verfügung, sobald der Kurs aufgesetzt ist.

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

=== Ablauf ===

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

Die Vorträge werden als Blockveranstaltung im Zeitraum Juni–August 2026 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 30. August 2026 einzureichen.

=== Prüfungsleistung und anrechenbare Module ===

'''Bachelor Informatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-D-520}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Medieninformatik (PO 2009)'''
* {{ModuleLink|INF-B-610}}: Seminararbeit (ca. 10 Seiten) inklusive Präsentation (30 Minuten)

'''Bachelor Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Diplom Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

'''Master Informatik (PO 2025)'''
* {{ModuleLink|INF-25-Ba-WIA}}: nach Modulbeschreibung

=== Kontakt ===

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

Profilprojekt Grundlagenforschung (SS2026)

2026-03-13T10:20:36Z

Johannes Lehmann: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Profilprojekt Grundlagenforschung |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=SS |Year=2026 |Module=INF-PM-FPG |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=8P/PB |Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics f…“

{{Vorlesung
|Title=Profilprojekt Grundlagenforschung
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-PM-FPG
|SWSLecture=0
|SWSExercise=0
|SWSPractical=0
|UmfangAlternativ=8P/PB
|Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialisation and independent research work.

=== Registration ===

Registration via Opal is required until April 20. We will provide a link to Opal once the course is set up.

=== Exam and Creditability ===

We offer two ''Profilprojekte'' for the module INF-PM-FPG. The two courses have a unified registration via Opal. If you have questions about the differences between the courses, please contact [[Sascha Klüppelholz]].

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Forschungsprojekt Formale Methoden“'': exam according to module description
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Grundlagenforschung in der Informatik“'': exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Forschungsprojekt Formale Methoden“'': exam according to module description
* {{ModuleLink|INF-PM-FPG}} as ''Profilprojekt „Grundlagenforschung in der Informatik“'': exam according to module description

=== Contact ===

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

Profilprojekt Anwendungsforschung (SS2026)

2026-03-13T10:19:13Z

Johannes Lehmann: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Profilprojekt Anwendungsforschung |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=WS |Year=2026 |Module=INF-PM-FPA |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=8P/PB |Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics f…“

{{Vorlesung
|Title=Profilprojekt Anwendungsforschung
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=WS
|Year=2026
|Module=INF-PM-FPA
|SWSLecture=0
|SWSExercise=0
|SWSPractical=0
|UmfangAlternativ=8P/PB
|Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialisation and independent research work.

=== Registration ===

Registration via Opal is required until April 20. We will provide a link to Opal once the course is set up.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPA}}: exam according to module description

'''Diplom Informatik (PO 2010)'''
* {{ModuleLink|INF-PM-FPA}}: exam according to module description

=== Contact ===

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

Laborkurs Modeling and Automated Verification (SS2026)

2026-03-13T10:15:15Z

Johannes Lehmann: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Laborkurs „Modeling and Automated Verification“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=EN |Term=SS |Year=2026 |Module=CMS-LM-ADV, CMS-LM-MOC, MCL-PS |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers the opportuni…“

{{Vorlesung
|Title=Laborkurs „Modeling and Automated Verification“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=EN
|Term=SS
|Year=2026
|Module=CMS-LM-ADV, CMS-LM-MOC, MCL-PS
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or are part of current research projects of our workgroup. See for example:

* [https://www.perspicuous-computing.science/ CPEC]
* [https://ceti.one/ CeTI]
* [https://secai.org/de SECAI]
* [https://digitalhealth.tu-dresden.de/projects/semeco/ SEMECO]
* [http://5glab.de/ 5G-Lab Germany]

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration via Opal is required until April 20. We will provide a link to Opal once the course is set up.

=== Prerequisites ===

* Solid foundations in algorithms and data structures, complexity theory, automata theory and formal languages
* Solid programming skills
* Basic mathematical foundations

=== Exam and Creditability ===

'''Master Computational Logic'''
* {{ModuleLink|MCL-PS}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)

'''Master Computational Modeling and Simulation'''
* {{ModuleLink|CMS-LM-MOC}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)
* {{ModuleLink|CMS-LM-ADV}}: ''Projektarbeit inkl. Präsentation'' (research project with a 10-page documentation and a 30-minute presentation)

=== Contact ===

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

Komplexpraktikum Modellierung und quantitative Systemanalyse I (SS2026)

2026-03-13T10:08:33Z

Johannes Lehmann: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=SS |Year=2026 |Module=INF-MA-PR |SWSLecture=0 |SWSExercise=0 |SWSPractical=4 |Description=The course is intended for students enrolled in the Master or Diplom programs Informatik (computer science) as well as for those enrolled in the Diplom program Infor…“

{{Vorlesung
|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Year=2026
|Module=INF-MA-PR
|SWSLecture=0
|SWSExercise=0
|SWSPractical=4
|Description=The course is intended for students enrolled in the Master or Diplom programs Informatik (computer science) as well as for those enrolled in the Diplom program Informationssystemtechnik (information systems engineering). The Komplexpraktikum “Modeling and Quantitative System Analysis I” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. The following links give more information on these projects:

* [https://www.perspicuous-computing.science/ CPEC]
* [https://ceti.one/ CeTI]
* [https://secai.org/de SECAI]
* [https://digitalhealth.tu-dresden.de/projects/semeco/ SEMECO]
* [http://5glab.de/ 5G-Lab Germany]

Potential topics include:
* symbolic methods in model checking,
* explicit model checking,
* reduction techniques,
* automata over finite and infinite words,
* numerical methods for quantitative analysis,
* logics,
* specification formalisms,
* abstraction techniques,
* case studies.

=== Registration ===

Registration via Opal is required until April 20. We will provide a link to Opal once the course is set up.

=== Prerequisites ===

In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.

=== Dates ===

All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.

=== Exam and Creditability ===

'''Master Informatik (PO 2010)'''
* {{ModuleLink|INF-MA-PR}}: exam according to module description

=== Contact ===

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