Aktuelle Informationen des Fachgebiets Automaten und Logik

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…