Logik in der Informatik

Willkommen auf den Webseiten der Arbeitsgruppen "Theoretische Informatik" und "Logik und Komplexität"!

Aktuelles:

• Die Arbeit „Reaching New Limits: Discovery of Multi-Dimensional Disjunctive Subsequence-Queries with Intervals“ von André Frochaux, Sarah Kleest-Meißner, und Benjamin Scheidt wurde bei BTW 2025 akzeptiert.
• Die Arbeit „Embracing Change: Incremental Updates of Discovered Event Queries“ von Rebecca Sattler, Sarah Kleest-Meißner, Steven Lange, Markus L. Schmid, Nicole Schweikardt und Matthias Weidlich wurde bei BTW 2025 akzeptiert.
• Die Arbeit „DISCES: Systematic Discovery of Event Stream Queries“ von Rebecca Sattler, Sarah Kleest-Meißner, Steven Lange, Markus L. Schmid, Nicole Schweikardt und Matthias Weidlich wurde bei SIGMOD 2025 akzeptiert.
• Die Arbeit „Revisiting Weighted Information Extraction: A Simpler and Faster Algorithm for Ranked Enumeration“ von Pawel Gawrychowski, Florin Manea, Markus L. Schmid wurde bei PODS 2025 akzeptiert.
• Die Arbeiten „On the VC Dimension of First-Order Logic with Counting and Weight Aggregation“ von Steffen van Bergerem und Nicole Schweikardt und „The Parameterized Complexity of Learning Monadic Second-Order Logic“ von Steffen van Bergerem, Martin Grohe und Nina Runde wurden bei CSL 2025 akzeptiert.
• Die Arbeit „Learning Aggregate Queries Defined by First-Order Logic with Counting“ von Steffen van Bergerem und Nicole Schweikardt wurde bei ICDT 2025 akzeptiert.
• Die Arbeit „Subsequences With Generalised Gap Constraints: Upper and Lower Complexity Bounds“ von Florin Manea, Jonas Richardsen und Markus L. Schmid wurde bei CPM 2024 akzeptiert.
• Die Arbeit „From Quantifier Depth to Quantifier Number: Separating Structures with k variables“ von Harry Vinall-Smeeth wurde bei LICS 2024 akzeptiert.
• Die Arbeiten „On Homomorphism Indistinguishability and Hypertree Depth“ von Benjamin Scheidt und „Verification of Population Protocols with Unordered Data“ von Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger und Chana Weil-Kennedy wurden bei ICALP 2024 akzeptiert.
• Das Forschungsprojekt „Learning Aggregate Queries Described by Extensions of First-order Logic on Weighted Structures“ wurde von der Deutschen Forschungsgemeinschaft (DFG) zur Förderung akzeptiert.
• Die Arbeit "Enumeration for MSO-Queries on Compressed Trees" von Markus Lohrey und Markus L. Schmid wurde bei PODS 2024 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.