Actual information of the Institute for Theoretical Computer Science

Page 1 of 3.

[Translate to English:]

Paper by Harry Vinall-Smeeth accepted for publication at IJCAI'24

The paper “Structured d-DNNF is Not Closed Under Negation” by Harry…

[Translate to English:] TU Ilmenau

Presentation on "The Descriptive Complexity of Higher Order Graph Neural Networks"

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

[Translate to English:]

Paper by Harry Vinall-Smeeth accepted for publication at LICS'24

The paper "From Quantifier Depth to Quantifier Number: Separating Structures…

Review of exams of Algorithms Group

Dear students, the Institute for Theoretical Computer Science are offering…

[Translate to English:] TU Ilmenau

Presentation on "Zum sogenannten Paradox der überraschenden Prüfung"

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

Registration to Moodle (Summer semester 2024)

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

[Translate to English:] @TU Ilmenau

Exam results winter semester 2023/2024

The results of all exams (WS 2023/2024) are released on the Thoska system. …

[Translate to English:] TU Ilmenau

Bachelor's defence on the topic "Lineare Ordnungen erfüllen die 3-Variablen-Eigenschaft"

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

[Translate to English:] TU Ilmenau

Presentation on the topic "Erkundbare Automaten"

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

[Translate to English:] @TU Ilmenau

AlMoTh'24 programme published

The AlMoTh'24 on 29.02 and 01.03.2024 in Ilmenau has published its programme.…

Page 1 of 3.