Grundlagenforschung aus Bayreuth prägt Datenbankstandards
Logisches Denken bildet die Basis der künstlichen Intelligenz. Der Alonzo Church Award 2026 für herausragende Beiträge zur Logik in der Informatik wurde in London während der Konferenz „International Colloquium on Automata, Languages, and Programming“ (ICALP) verliehen. Zu den Preisträgern gehört Prof. Dr. Wim Martens, Professor für datenintensive Informatik an der Universität Bayreuth. Die renommierte Auszeichnung wird von der European Association for Theoretical Computer Science (EATCS) vergeben.

v.l.: Thomas Colcombet, Leonid Libkin, Domagoj Vrgoc und Wim Martens
Notar Carmeli

