Neuigkeit aus der Forschungsgruppe Automatentheorie vom 27. März 2026

Franz Baader gewinnt Best Paper Award bei FoIKS 2026

Herzlichen Glückwunsch an Franz Baader zum Gewinn des Best Paper Award beim 14. Internationalen Symposium über Grundlagen von Informations- und Wissenssystemen (FoIKS 2026) für den Beitrag „Eine ordnungstheoretische Betrachtung optimaler Reparaturen und vollständiger Mengen von Unifikatoren“. Die FoIKS-Symposien bieten alle zwei Jahre ein Forum zur Präsentation und Diskussion theoretischer und angewandter Forschung zu Informations- und Wissenssystemen. Ziel ist es, Forscher mit Interesse an diesem Thema zusammenzubringen, Forschungserfahrungen auszutauschen, die Zusammenarbeit zu fördern und neue Themen und Richtungen für die zukünftige Forschung zu identifizieren. Die 14. Ausgabe fand vom 23. bis 26. März 2026 in Hannover statt. Gastgeber war das Institut für Theoretische Informatik an der Leibniz Universität Hannover, und das Symposium wurde zusätzlich von Springer, dem Artificial Intelligence Journal und EurAI gesponsert.