News

Olaf Beyersdorff will be one of the organizers of the Seminar Theory and Practice of SAT and Combinatorial SolvingExternal link. It will be held on January 11-16, 2026 at the Banff International Research Station for Mathematical Innovation and Discovery in Alberta, Canada.

The 88th Theorietag will take place as a combined workshop of the GI groups Algorithms, Complexity, and Logic. It will be held in Augsburg on October 09-10, 2025.

We will be present at the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025External link) on August 12-15, 2025. There, we will present the paper "Semi-Algebraic Proof Systems for QBF" by Olaf Beyersdorff, Ilario Bonacina, Kaspar Kasche, Meena Mahajan and Luc Spachmann.

The paper "Computationally Hard Problems Are Hard for QBF Proof Systems TooExternal link" by Agnes Schleitzer and Olaf Beyersdorff was published at the AAAI conference 2025External link.

The 42nd STACS conference was held on March 04-07 2025 in Jena. We are very pleased with how the conference turned out and thank all the speakers, participants, and sponsors.

Olaf Beyersdorff was one of the organizers of the Dagstuhl Seminar SAT and InteractionsExternal link, held on October 13-18, 2024 at Schloss Dagstuhl. Marlene Gründel, Kaspar Kasche and Luc Spachmann had the opportunity to attend the seminar as participants.