Aktuelle Informationen des Fachgebiets Automaten und Logik

Seite 2 von 3.

TU Ilmenau

Zwei Arbeiten auf der STACS'24 zu Veröffentlichung angenommen

Auf dem diesjährigem 41st International Symposium on Theoretical Aspects of…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Extremal Fitting Problems for Conjunctive Queries…“

Liebe Freunde der Theorie, am Donnerstag, 01.02.2024 spricht um 11:00 Uhr im…

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…

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…

@TU Ilmenau

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 Wintersemester…

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…

Seite 2 von 3.