Seite 1 von 3.

@TU Ilmenau

Klausurergebnisse Sommersemester 2024

Die Klausurergebnisse von Automaten und Formale Sprachen,  Automaten Sprachen…

Ulrike Leone - pixabay.com

Prüfungstermine im Sommersemester 2024

Liebe Studierenden, die Informationen zu den Prüfungsterminen (Sommersemester…

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

Bachelorverteidigung zum Thema "Lineare Ordnungen erfüllen die 3-Variablen-Eigenschaft“

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

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.