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