Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼
⇧
EN
« Oktober 2020 »
month-10
Mo Di Mi Do Fr Sa So
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1
Termine
Institutsrat 04.11.2020 17:00 (Europe/Berlin) — Humboldt-Kabinett
Institutsrat 02.12.2020 17:00 (Europe/Berlin) — Humboldt-Kabinett
Weitere Termine

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 "Learning Concepts Described by Weight Aggregation Logic" von Steffen van Bergerem und Nicole Schweikardt wurde für CSL 2021 akzeptiert. Ein Preprint bei arXiv erhältlich: CoRR abs/2009.10574 (2020)
  • Die Arbeit "A Purely Regular Approach to Non-Regular Core Spanners " von Markus Schmid und Nicole Schweikardt wurde für ICDT 2021 akzeptiert.
  • Die Arbeit "Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration" von Nofar Carmeli, Shai Zeevi, Christoph Berkholz, Benny Kimelfeld und Nicole Schweikardt wurde für PODS 2020 akzeptiert.

Logo