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 FO Queries over Nowhere Dense Graphs" von Nicole Schweikardt, Luc Segoufin und Alexandre Vigny wurde bei Journal of the ACM akzeptiert.
  • Die Arbeit "Query Evaluation over SLP-Represented Document Databases With Complex Document Editing" von Markus Schmid und Nicole Schweikardt wurde für PODS 2022 akzeptiert.
  • Die Arbeit "Discovering Event Queries from Traces: Laying Foundations for Subsequence-Queries with Wildcards and Gap-Size Constraints" von Sarah Kleest-Meißner, Rebecca Sattler, Markus Schmid, Nicole Schweikardt und Matthias Weidlich wurde in Proc. ICDT 2022 veröffentlicht.