Aktuelle Informationen des Fachgebiets Automaten und Logik

Seite 1 von 2.

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Compiling Existential Positive Queries to Bounded-Variable Fragments"

Liebe Theoretiker, am Donnerstag, dem 23.11.2023, wird Herr Prof. Christoph…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Modal logic is more succinct iff bi-implication is available (in some form)"

Liebe Theoretiker, am Donnerstag, dem 09.11.2023, wird Herr Christian Schwarz…

@TU Ilmenau

Klausurergebnisse Sommersemester 2023

Die Klausurergebnisse von LuLp, AuD 2, Algorithms, AuD 1, AAK, BuK, ASK, AFS…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Kompakte Darstellungen von Lösungen zu Constraint Satisfaction Problemen"

Liebe Theoretiker, am Donnerstag, dem 26.10.2023, wird Herr Hermann Wilhelm…

Veröffentlichung im Journal of the ACM

Die Arbeit "Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman…

@TU Ilmenau

Klausureinsicht des FG Automaten und Logik

Liebe Studentinnen und Studenten, das Fachgebiet Automaten und Logik bietet…

@TU Ilmenau

Registrierung in Moodle (Wintersemester 2023/2024)

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

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Counting Paths in Graphs"

Liebe Theoretiker, am Dienstag, dem 14.09.2023, wird Herr Dimitri Domnjuk im…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "On Hashing by (Random) Equations"

Liebe Theoretiker, am Donnerstag, dem 24.08.2023, wird Herr Prof. Martin…

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…

Seite 1 von 2.