Aktuelle Informationen des Fachgebiets Automaten und Logik

Seite 3 von 3.

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema ""FO=FO3 for linear orders with monotone binary relations"

Liebe Theoretiker, am Donnerstag, dem 22.06.2023, wird Herr Vincent Klimmer…

Paper auf der ICALP'23 zur Veröffentlichung angenommen

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

TU Ilmenau

Registrierung in Moodle (Sommersemester 2023)

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

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…

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…

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…

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…

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…

Seite 3 von 3.