News from the Algorithms group

Page 1 of 3.

Signposts with the lettering "Exam datesUlrike Leone - pixabay.com

Exam dates in summer semester 2026

Dear students, the information on the examination dates (summer semester 2026) of the…

Paper by Dietrich Kuske accepted for MFCS 2026

The paper "Boolean combinations of omega-rational trace languages: emptiness, rationality,…

Paper on proof systems based on structured circuits accepted at SAT 2026

The paper “Proof Systems Based on Structured Circuits” by Christoph Berkholz und Matthäus…

[Translate to English:] TU Ilmenau

Paper by Chris Köcher and Dietrich Kuske published at Journal of Theoretical Computer Science

The paper “Reachability in Trace-Pushdown Systems” by Chris Köcher and Dietrich Kuske is…

[Translate to English:] TU Ilmenau

Paper by Chris Köcher and Dietrich Kuske accepted for Journal of Theoretical Computer Science

The paper “Reachability in Trace-Pushdown Systems” by Chris Köcher and Dietrich Kuske has…

[Translate to English:] TU Ilmenau

Paper by M. Sc. Sebastian Pfau published at CSL 2026

The paper "Boolean Basis and Succinctness of Modal Logic via Hella-Vilander games" by M.…

Paper from the Institute for Theoretical Computer Science accepted for publication in the Journal of the ACM

The paper “Ribbon: Fast Succinct Static Retrieval and Approximate Membership” by Martin…

Paper by Christoph Berkholz and Harry Vinall-Smeeth accepted for publication at ICDT 2026

The paper “Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy”…

[Translate to English:] TU Ilmenau

Paper by M. Sc. Sebastian Pfau accepted for publication at CSL 2026

The paper "Boolean Basis and Succinctness of Modal Logic via Hella-Vilander games" by M.…

[Translate to English:] TU Ilmenau

Paper by Prof. Dietrich Kuske published at FCT 2025

The paper "Disjointness, inclusion, and regularity of ω-rational trace languages…

Page 1 of 3.