Aktuelle Informationen des Fachgebiets Automaten und Logik

Seite 1 von 3.

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…

Klausureinsicht des FG Algorithmik

Liebe Studierende, das Institut für Theoretische Informatik bietet zu…

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…

@TU Ilmenau

Klausurergebnisse Wintersemester 2023/2024

Die Klausurergebnisse von allen Klausuren aus dem WS 2023/2024 sind im System…

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.