Aktuelle Informationen des Fachgebiets Automaten und Logik

TU Ilmenau

Paper auf der ICALP'23 zur Veröffentlichung angenommen

Die Arbeit "A dichotomy for succinct representations of homomorphisms" von Christoph…

TU Ilmenau

Registrierung in Moodle (Sommersemester 2023)

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

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Homomorphisms for Counting Subgraphs"

Liebe Theoretiker, am Donnerstag, dem 30.03.2023, wird Herr Dimitri Domnjuk im…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Multi-Structural Games: a Survey and Possible Extensions"

Liebe Theoretiker, am Donnerstag, dem 23.03.2023, wird Herr Harry Vinall-Smeeth im…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Cobham's Theorem and Automaticity"

Liebe Theoretiker, am Donnerstag, dem 23.02.2023, wird Herr René Gorges im…

Dr. Arindam BiswasTU Ilmenau

Vortrag zum Thema "Berechnung von Separatoren in planaren Graphen und ihre Anwendungen"

Liebe Theoretiker, am Donnerstag, dem 26.01.2023, wird Dr. Arindam Biswas im Seminar des…

Ulrike Leone - pixabay.com

Prüfungstermine im Wintersemester 2022/2023

Liebe Studierenden, die Informationen zu den Prüfungsterminen (Wintersemester 2022/2023)…

Frohe Weihnachten und ein gutes neues Jahrgeralt@pixabay

Frohe Weihnachten & ein gesundes neues Jahr

Das Institut für Theoretische Informatik wünscht allen Mitarbeitern und Studierenden der…

Anmeldung zu den Moodlekurse im Wintersemester 2022/2023TU Ilmenau

Registrierung in Moodle (Wintersemester 22/23)

Wir möchten darauf hinweisen, dass alle Studierenden, die im Wintersemester 2022/2023 an…