Actual information of the Institute for Theoretical Computer Science

Page 2 of 3.

[Translate to English:] TU Ilmenau

Two papers accepted at STACS'24

Auf dem diesjährigem 41st International Symposium on Theoretical Aspects of…

[Translate to English:] TU Ilmenau

Presentation on the topic "Extremal Fitting Problems for Conjunctive Queries…"

Dear friends of theory, on Thursday, 01.02.2024 at 11:00 am in room Z 2073…

[Translate to English:] TU Ilmenau

Presentation on "Compiling Existential Positive Queries to Bounded-Variable Fragments"

Dear Theorists, on Thursday, 23.11.2023, Mr. Prof. Christoph Berkholz will…

[Translate to English:] TU Ilmenau

Presentation on "Modal logic is more succinct iff bi-implication is available (in some form)"

Dear Theorists, on Thursday, 09.11.2023, Mr. Christian Schwarz will report on…

[Translate to English:] TU Ilmenau

Presentation on "Compact Representations of Solutions to Constraint Satisfaction Problems"

Dear Theorists, on Thursday, 26.10.2023, Mr. Hermann Wilhelm will report on…

[Translate to English:] @TU Ilmenau

Presentation on "Compact Representations of Solutions to Constraint Satisfaction Problems"

The paper "Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman…

Registration to Moodle in Winter semester 2023/2024

We would like to emphasise that all students who would like to participate in…

[Translate to English:] TU Ilmenau

Presentation on "Counting Paths in Graphs"

Dear Theorists, on Thursday, 09/14/2023, Mr. Dimitri Domnjuk will give a…

[Translate to English:] TU Ilmenau

Presentation on "On Hashing by (Random) Equations"

Dear Theorists, on Thursday, 08/24/2023, Mr. Prof. Martin Dietzfelbinger will…

[Translate to English:] TU Ilmenau

Presentation on ""FO=FO3 for linear orders with monotone binary relations"

Dear Theorists, on Thursday, June 22, 2023, Mr. Vincent Klimmer will give a…

Page 2 of 3.