Research Seminar of the Institute for Theoretical Computer Science

In the research seminar lectures on topics of interest for the research at the institute take place. Members and students of the institute as well as our guests give lectures. Participants as well as listeners are always welcome.

Please contact Prof. Kuske with any hints, inquiries, suggestions for lectures, etc.

It takes place on Thursdays, 11:00 am – 13:00 pm in the Zusebau, room 2073. It provides a forum for:

  • Research reports
  • diploma, bachelor, master defenses
  • Student research reports

   

Seminars in summer semester 2024

  • 06/13/2024, 11:00 a.m., Z 2073, Teresa Bravo Roger: "Lexikographischer Direktzugriff auf Verbundsanfragen", [PDF]
  • 04/18/2024, 11:00 a.m., Z 2073, Matthäus Micun: "The Descriptive Complexity of Higher Order Graph Neural Networks", [PDF]
  • 04/11/2024, 11:00 a.m., Z 2073, Martin Dietzfelbinger: "Zum sogenannten Paradox der überraschenden Prüfung", [PDF]
  • 04/04/2024, 11:00 a.m., Z 2073, David Hruschka: "Lineare Ordnungen erfüllen die 3-Variablen-Eigenschaft", [PDF]

Seminars in winter semester 2023/2024

  • 02/22/2024, 11:00 a.m, Z 2073, Florian Jung: "Erkundbare Automaten", [PDF]
  • 02/01/2024, 11:00 a.m., Z 2073, Paul Schindhelm: "Extremal Fitting Problems for Conjunctive Queries", [PDF]
  • 12/13/2023, 11:00 a.m., Z 2073, Sebastian Pfau:  "Isomorphie von automatischen linearen Ordnungen",[PDF]
  • 11/23/2023, 11:00 a.m., Z 2073, Christoph Berkholz:  "Compiling Existential Positive Queries to Bounded-Variable Fragments", [PDF]
  • 11/09/2023, 11:00 a.m., Z 2073, Christian Schwarz: "Modal logic is more succinct iff bi-implication is available (in some form)", [PDF]
  • 10/26/2023, 11:00 a.m., Z 2073, Hermann Wilhelm: Kompakte Darstellungen von Lösungen zu Constraint Satisfaction Problemen, [PDF]
  • 09/14/2023, 11:00 a.m., Z2073, Dimitri Domnjuk: "Counting Paths in Graphs", defense of the bachelor thesis, [PDF]

Seminars in summer semester 2023

  • 09/14/2023, 11:00 a.m., Z 2073, BA-Verteidigung
  • 08/24/2023, 11:00 a.m., Z 2073, Prof. Martin Dietzfelbinger: "On Hashing by (Random) Equations", [PDF]
  • 06/22/2023, 11:00 a.m., Z 2073, Vincent Klimmer: "FO=FO3 for linear orders with monotone binary relations", [PDF]

Seminars in the winter semester 2022/2023

  • 03/30/2023, 11:00 a.m., Z 2073, Dimitri Domnjuk: "Homomorphisms for Counting Subgraphs", [PDF]
  • 03/23/2023, 11:00 a.m., OEC 3007, Harry Vinall-Smeeth: "Multi-Structural Games: a Survey and Possible Extensions", [PDF]
  • 02/23/2023, 11:00 a.m., Z 4005, René Gorges: "Cobham's Theorem and Automaticity", [PDF]
  • 01/26/2023, 11:00 a.m., Z 2073, Dr. Arindam Biswas: "Calculation of separators in planar graphs and their applications", [PDF]

Seminars in the winter semester 2021/2022

  • 03/24/2022, 11:00 a.m., Z 2073, Christian Schwarz: "Quantorenelimination für reelle Presburger-Arithmetik und Zählquantoren", [PDF]
  • 02/24/2022, 11:00 a.m., Z 1014/15, Sebastian Pfau: "Synchronisation nichtdeterministischer Automaten", [PDF]
  • 01/27/2022, 11:00 a.m., Z 2073, Ludwig Schneider: "Burrows-Wheeler-Transformation", [PDF]
  • 01/13/2022, 11:00 a.m., Z 2073, Arindam Biswas: "Sublinear-Space Algorithms for Hitting Set, Max SAT and Min-Ones SAT", [PDF]
  • 12/09/2021, 11:00 a.m., Z 2073, Yaojia Hou & Christian Schwarz: "Perfekte Hashfunktionen – so kompakt wie es geht", [PDF]
  • 12/02/2021, 11:00 am, Z 2073, Stefan Walzer: "Die Büchsen der Pandora", [PDF]