Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Logik in der Informatik

 

Prof. Dr. Nicole Schweikardt

Professur für Theoretische Informatik

Prof. Dr. Christoph Berkholz

Juniorprofessur für Logik und Komplexität

 

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

 

Aktuelles:

  • 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.