Logik in der Informatik
Prof. Dr. Nicole Schweikardt |
Prof. Dr. Christoph Berkholz |
Willkommen auf den Webseiten der Arbeitsgruppen "Theoretische Informatik" und "Logik und Komplexität"!
Aktuelles:
- Die Arbeit "Enumeration for MSO-Queries on Compressed Trees" von Markus Lohrey und Markus Schmid wurde bei PODS 2024 akzeptiert.
- Die Arbeit "Counting Homomorphisms from Hypergraphs of Bounded Generalised Hypertree Width: A Logical Characterisation" von Benjamin Scheidt und Nicole Schweikardt wurde bei MFCS 2023 akzeptiert.
- Die Arbeit "A dichotomy for succinct representations of homomorphisms" von Christoph Berkholz und Harry Vinall-Smeeth wurde bei ICALP 2023 akzeptiert.
- Die Arbeit "Puzzling over Subsequence-Query Extensions: Disjunction and Generalised Gaps" von André Frochaux und Sarah Kleest-Meißner wurde bei AMW 2023 akzeptiert.
- Die Arbeit "Simulating Logspace-Recursion with Logarithmic Quantifier Depth" von Steffen van Bergerem, Martin Grohe, Sandra Kiefer und Luca Oeljeklaus wurde bei LICS 2023 akzeptiert.
- Die Arbeit "Discovering Multi-Dimensional Event Queries from Traces - From Theory to Practice" von Sarah Kleest-Meißner, Rebecca Sattler, Markus Schmid, Nicole Schweikardt und Matthias Weidlich wurde bei BTW'23 akzeptiert.
- Seit 01.08.2022 hat Prof. Dr. Christoph Berkholz die HU verlassen; er leitet nun das Fachgebiet Algorithmik am Institut für Theoretische Informatik der TU Ilmenau.