Seite 1 von 3.

Ulrike Leone - pixabay.com

Prüfungstermine im Sommersemester 2026

Liebe Studierenden, die Informationen zu den Prüfungsterminen (Sommersemester 2026) des…

Arbeit von Dietrich Kuske auf der Mathematical Foundations of Computer Science 2026 angenommen

Die Arbeit "Boolean combinations of omega-rational trace languages: emptiness,…

Arbeit über Beweissysteme mit strukturierten Schaltkreisen auf der SAT-Konferenz 2026 angenommen

Die Arbeit “Proof Systems Based on Structured Circuits” von Christoph Berkholz und…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Join Tree Enumeration"

Liebe Freunde der Theorie, am Dienstag, 16.06.2026 spricht um 15:00 Uhr im Raum Z 2073…

TU Ilmenau

Arbeit von Chris Köcher und Dietrich Kuske im Journal of Theoretical Computer Science veröffentlicht

Die Arbeit "Reachability in Trace-Pushdown Systems" von Chris Köcher und Dietrich Kuske…

TU Ilmenau

Arbeit von Chris Köcher und Dietrich Kuske für das Journal of Theoretical Computer Science angenommen

Die Arbeit "Reachability in Trace-Pushdown Systems" von Chris Köcher und Dietrich Kuske…

Paper from Sebastian Pfau published at CSL 2026TU Ilmenau

Arbeit von M. Sc. Sebastian Pfau auf der CSL 2026 veröffentlicht

Die Arbeit "Boolean Basis and Succinctness of Modal Logic via Hella-Vilander games" von M.…

TU Ilmenau

Arbeit aus dem Institut für Theoretische Informatik im Journal of the ACM zur Veröffentlichung angenommen

Die Arbeit „Ribbon: Fast Succinct Static Retrieval and Approximate Membership“ von Martin…

Arbeit von Christoph Berkholz und Harry Vinall-Smeeth auf der ICDT 2026 zur Veröffentlichung angenommen

Die Arbeit “Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy”…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Barrington's Theorem"

Liebe Freunde der Theorie, am Dienstag, 11.11.2025 spricht um 15:00 Uhr im Raum Z 2073…

Seite 1 von 3.