News from the research group Automata Theory of March 27, 2026

Franz Baader wins Best Paper Award at FoIKS 2026

Congratulations to Franz Baader for winning the Best Paper Award at the 14th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2026) for the paper "An Order-Theoretic View on Optimal Repairs and Complete Sets of Unifiers". The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. The 14th edition took place in Hannover, Germany from March 23 to March 26, 2026. It was hosted by the Institute for Theoretical Computer Science at the Leibniz Universität Hannover and was additionally sponsored by Springer, the Artificial Intelligence Journal and EurAI.