News from the Algorithms group

Page 1 of 3.

[Translate to English:] TU Ilmenau

Presentation on "Join Tree Enumeration"

Dear friends of theory, on Tuesday, 06/16/2026 at 3:00 p.m. in room Z 2073…

[Translate to English:] TU Ilmenau

Presentation on "Branching and Circuits: Algorithmic Techniques for Efficient Query Evaluation"

Dear friends of theory, on Tuesday, 06/09/2026 at 3:00 p.m. in room Z 2073…

[Translate to English:] TU Ilmenau

Presentation on "Entscheidungsprobleme für unendliche Mazurkiewicz-Spuren"

Dear friends of theory, on Tuesday, 05/19/2026 at 3:00 p.m. in room Z 2073…

[Translate to English:] TU Ilmenau

Presentation on "Entscheidungsprobleme für endliche Mazurkiewicz-Spuren"

Dear friends of theory, on Tuesday, 05/12/2026 at 3:00 p.m. in room Z 2073…

[Translate to English:] TU Ilmenau

Presentation on "DNNF-formula connections, an algorithm for calculating binary projections and summary"

Dear friends of theory, on Tuesday, 05/05/2026 at 3:00 p.m. in room Z 2073 M.…

[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…

[Translate to English:] TU Ilmenau

Presentation on "Dismantling the Surprise Test ‘Paradox’"

Dear friends of theory, on Tuesday, 04/28/2026 at 3:00 p.m. in room Z 2073…

[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…

[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…

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”…

Page 1 of 3.