Forschungsseminar des Instituts für Theoretische Informatik

Im Forschungsseminar 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.

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

Es findet am Donnerstag, 11:00 – 13:00 Uhr im Zusebau, Raum 2073 statt. Es bietet ein Forum für:

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

   

Vorträge im Sommersemester 2024

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

Vorträge im Wintersemester 2021/2022

  • 24.03.2022, 11:00 Uhr, Z2073, Christian Schwarz: "Quantorenelimination für reelle Presburger-Arithmetik und Zählquantoren", [PDF]
  • 24.02.2022, 11:00 Uhr, Z 1014/15, Sebastian Pfau: "Synchronisation nichtdeterministischer Automaten", [PDF]
  • 27.01.2022, 11:00 Uhr, Z 2073, Ludwig Schneider: "Burrows-Wheeler-Transformation", [PDF]
  • 13.01.2022, 11:00 Uhr, Z 2073, Arindam Biswas: "Sublinear-Space Algorithms for Hitting Set, Max SAT and Min-Ones SAT", [PDF]
  • 09.12.2021, 11:00 Uhr, Z 2073, Yaojia Hou & Christian Schwarz: "Perfekte Hashfunktionen - so kompakt wie es geht", [PDF]
  • 02.12.2021, 11:00 Uhr, Z 2073, Stefan Walzer: "Die Büchsen der Pandora", [PDF]