Forschungs- und Hauptseminar des Instituts für Theoretische Informatik

Im Forschungs- und Hauptseminar finden Vorträge zu Themen statt, die für die Forschung am Institut von Interesse sind. Hierbei tragen sowohl die Mitglieder und Studenten des Institutes als auch unsere Gäste vor. Sowohl Teilnehmer als auch Zuhörer sind jederzeit willkommen.

Über den Eintrag in unsere Mailingliste "Theorie-Freunde", können Sie sich automatisch über die Veranstaltungsdetails informieren lassen: https://lists.tu-ilmenau.de/mailman/listinfo/theorie-freunde

Mit Hinweisen, Anfragen, Vorschlägen für Vorträge u. ä. wenden Sie sich bitte an Prof. Kuske.

Es findet in der Regel dienstags, 15:00 – 16:00 Uhr im Zusebau, Raum 2073 statt. Es bietet ein Forum für:

  • Forschungsberichte
  • Diplom-, Bachelor-, Masterverteidigungen
  • Studienarbeitsberichte

Vorträge im Sommersemester 2026

  • 14.04.2026, 15:00 Uhr, Z 2073, M. Sc. Maximillian Merz: "The Intensional-Extensional Conjecture", [PDF]
  • 21.04.2026, 15:00 Uhr, Z 2073, Dr. Igor Razgon: "Towards understanding the complexity of Decision DNNF representation of CNFs parameterized by the incidence treewidth", [PDF]
  • 28.04.2026, 15:00 Uhr, Z 2073, Prof. Dr. Martin Dietzfelbinger: "Dismantling the surprise test “paradox", [PDF]  
  • 05.05.2026, 15:00 Uhr, Z 2073, M. Sc. Hermann Wilhelm: "DNNF-formula connections, an algorithm for calculating binary projections and summary", [PDF]  
  • 12.05.2026, 15:00 Uhr, Z 2073, Prof. Dr. Dietrich Kuske: "Entscheidungsprobleme für endliche Mazurkiewicz-Spuren", [PDF]  
  • 19.05.2026, 15:00 Uhr, Z 2073, Prof. Dr. Dietrich Kuske: "Entscheidungsprobleme für unendliche Mazurkiewicz-Spuren", [PDF]  
  • 09.06.2026, 15:00 Uhr, Z 2073, Dr. Oliver Irwin: "Branching and Circuits: Algorithmic Techniques for Efficient Query Evaluation", [PDF]

Vorträge im Sommersemester 2025

  • 17.06.2025, 12:30 Uhr, Z 2073, Teresa Bravo Roger: "Lexikographischer Direktzugriff auf vorzeichenbehaftete konjunktive Anfragen mit Aggregationen mithilfe relationaler Circuits", [PDF]
  • 20.05.2025, 12:30 Uhr, Z 2073, Kseniya Kavalenka: "Implementation of Update and Enumerate Operations for Tractable Queries", [PDF]
  • 01.04.2025, 12:30 Uhr, Z 2073, Ron Rödel: "Ein randomisierter FPT-Algorithmus für das Steinerbaumproblem auf Graphen beschränkter Cliquenweite?", [PDF]

Vorträge im Wintersemester 2025/2026

  • 24.02.2026, 15:00 Uhr, Z 2073, M. Sc. Lisa Barthel: "(Un)Decidability of Reachability Problems on (Trace) Pushdown Systems (Teil 2)", [PDF]  
  • 10.02.2026, 15:00 Uhr, Z 2073, Paul Schindhelm: "Platzeffiziente Simulation zeitbeschränkter Turingmaschinen", [PDF]  
  • 03.02.2026, 15:00 Uhr, Z 2073, M. Sc. Lisa Barthel: "(Un)Decidability of Reachability Problems on (Trace) Pushdown Systems", [PDF]  
  • 27.01.2025, 15:00 Uhr, Z 2073, B. Sc. Vincent Klimmer: "Komplexität von QBFs mit nicht monotonen Operatoren", [PDF]  
  • 06.01.2026, 15:00 Uhr, Z 2073, M. Sc. Sebastian Pfau: "Succinctness von Modal Logik und Computation Tree Logik", [PDF]
  • 16.12.2025, 15:00 Uhr, Z 2073, M. Sc. Hermann Wilhelm: "Kompilierung von Homomorphismen als baumartiges decDNNF (Teil 2)", [PDF]
  • 09.12.2025, 15:00 Uhr, Z 2073, M. Sc. Hermann Wilhelm: "Kompilierung von Homomorphismen als baumartiges decDNNF (Teil 1)", [PDF]
  • 25.11.2025, 15:00 Uhr, Z 2073, M. Sc. Matthäus Micun: "Proof Complexity using structured Circuits", [PDF]
  • 11.11.2025, 15:00 Uhr, Z 2073, Prof. Dr. Christoph Berkholz: "Barrington's Theorem", [PDF]
  • 28.10.2025, 15:00 Uhr, Z 2073, M. Sc. Maximillian Merz: "Simpliziale Homologie", [PDF]
  • 21.10.2025, 12:30 Uhr, Z 2073, Eric Fiebig: "Gewichtete Alternierende Zwei-Weg Automaten", [PDF]

Vorträge im Wintersemester 2024/2025

  • 17.03.2025, 13:00 Uhr, Z 2073, Lisa Barthel: "Equality Saturation: An Approach for Comparing Process Behavior?", [PDF]
  • 17.03.2025, 09:00 Uhr, Z 2073, Jakob Lindner: "The Role of Activation Functions for the Expressiveness of Graph Neural Networks: A Complexity-Theoretic Perspective", [PDF]
  • 21.01.2025, 12:30 Uhr, Z 2073, Paul Schindhelm: "Komplexität des “k-pebble game“", [PDF]
  • 26.11.2024, 12:30 Uhr, Z 2073, Hermann Wilhelm: "ODD minimisation for strongly uniformly blockwise decomposable constraint languages", [PDF]
  • 19.11.2024, 12:30 Uhr, Z 2073, Harry Vinall-Smeeth: "Knowledge Compilation, Rectangles and Lower Bounds", [PDF]
  • 05.11.2024, 12:30 Uhr, Z 2073, Kseniya Kavalenka: "On Dynamic Graph Algorithms with Predictions", [PDF]
  • 10.10.2024, 11:00 Uhr, Z 2073, Vincent Klimmer: "Aussagenlogik in mehrwertiger Logik", [PDF]

Vorträge im Sommersemester 2024

  • 13.06.2024, 11:00 Uhr, Z 2073, Teresa Bravo Roger: "Lexikographischer Direktzugriff auf Verbundsanfragen", [PDF]]
  • 18.04.2024, 11:00 Uhr, Z 2073, Matthäus Micun: "The Descriptive Complexity of Higher Order Graph Neural Networks", [PDF]
  • 11.04.2024, 11:00 Uhr, Z 2073, Martin Dietzfelbinger: "Zum sogenannten Paradox der überraschenden Prüfung", [PDF]
  • 04.04.2024, 11:00 Uhr, Z 2073, David Hruschka: "Lineare Ordnungen erfüllen die 3-Variablen-Eigenschaft", [PDF]
  •  

Vorträge im Wintersemester 2023/2024

  • 22.02.2024, 11:00 Uhr, Z 2073, Florian Jung: "Erkundbare Automaten", [PDF]
  • 01.02.2024, 11:00 Uhr, Z 2073, Paul Schindhelm: "Extremal Fitting Problems for Conjunctive Queries", [PDF]
  • 13.12.2023, 11:00 Uhr, Z 2073, Sebastian Pfau: "Isomorphie von automatischen linearen Ordnungen", [PDF]
  • 23.11.2023, 11:00 Uhr, Z 2073, Christoph Berkholz: "Compiling Existential Positive Queries to Bounded-Variable Fragments", [PDF]
  • 09.11.2023, 11:00 Uhr, Z 2073, Christian Schwarz: "Modal logic is more succinct iff bi-implication is available (in some form)", [PDF]
  • 26.10.2023, 11:00 Uhr, Z 2073, Hermann Wilhelm: "Kompakte Darstellungen von Lösungen zu Constraint Satisfaction Problemen", [PDF]
  • 14.09.2023, 11:00 Uhr, Z2073, Dimitri Domnjuk: "Counting Paths in Graphs", BA-Verteidigung, [PDF]

Vorträge im Sommersemester 2023

  • 14.09.2023, 11:00 Uhr, Z 2073, BA-Verteidigung:
  • 24.08.2023, 11:00 Uhr, Z 2073, Prof. Martin Dietzfelbinger: "On Hashing by (Random) Equations", [PDF]
  • 22.06.2023, 11:00 Uhr, Z 2073, Vincent Klimmer: "FO=FO3 for linear orders with monotone binary relations", [PDF]

Vorträge im Wintersemester 2022/2023

  • 30.03.2023, 11:00 Uhr, Z 2073, Dimitri Domnjuk: "Homomorphisms for Counting Subgraphs", [PDF]
  • 23.03.2023, 11:00 Uhr, OEC 3007, Harry Vinall-Smeeth: "Multi-Structural Games: a Survey and Possible Extensions", [PDF]
  • 23.02.2023, 11:00 Uhr, Z 4005, René Gorges: "Cobham's Theorem and Automaticity", [PDF]
  • 26.01.2023, 11:00 Uhr, Z 2073, Dr. Arindam Biswas: "Berechnung von Separatoren in planaren Graphen und ihre Anwendungen", [PDF]