Aktuelle Informationen des Instituts für Theoretische Informatik

Seite 1 von 3.

TU Ilmenau

Registrierung in Moodle (Wintersemester 2024/2025)

Wir möchten darauf hinweisen, dass alle Studierenden, die im Wintersemester…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Bachelorverteidigung zum Thema "Aussagenlogik in mehrwertiger Logik“

Liebe Freunde der Theorie, am Donnerstag, 10.10.2024 spricht um 11:00 Uhr im…

@TU Ilmenau

Klausurergebnisse Sommersemester 2024

Die Klausurergebnisse von Algorithmen und Datenstrukturen 2; Algorithmen,…

Arbeit von Harry Vinall-Smeeth auf der IJCAI'24 zur Veröffentlichung angenommen

Die Arbeit “Structured d-DNNF is Not Closed Under Negation” von Harry…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "The Descriptive Complexity of Higher Order Graph Neural Networks“

Liebe Freunde der Theorie, am Donnerstag, 18.04.2024 spricht um 11:00 Uhr im…

Arbeit von Harry Vinall-Smeeth auf der LICS'24 zur Veröffentlichung angenommen

Die Arbeit "From Quantifier Depth to Quantifier Number: Separating Structures…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Zum sogenannten Paradox der überraschenden Prüfung“

Liebe Freunde der Theorie, am Donnerstag, 11.04.2024 spricht um 11:00 Uhr im…

@TU Ilmenau

Registrierung in Moodle (Sommersemester 2024)

Wir möchten darauf hinweisen, dass alle Studierenden, die im Sommersemester…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Erkundbare Automaten“

Liebe Freunde der Theorie, am Donnerstag, 22.02.2024 spricht um 11:00 Uhr im…

@TU Ilmenau

Programm zur AlMoTh'24 veröffentlicht

Die AlMoTh'24 am 29.02 und 01.03.2024 in Ilmenau hat ihr Programm…

Seite 1 von 3.