FLoC 2026 Olympics Medals

At the FLoC Olympics of the Federated Logic Conference (FLoC’26) in Lisbon in July 2026 we received two special awards that actually came with nice physical medals (slides of all special awards).

SAT Competition 2026 Open Source Contribution Award

Awarded to Armin Biere in recognition of outstanding contributions to the SAT Competition by developing high-performance open-source solvers whose codebases have formed the basis of many SAT Competition winners.
[ certificate | competition | slides | picture | medal ]

QBF Gallery 2026 Test-of-Time Award

Awarded to Florian Lonsing, Armin Biere and Uwe Egly for outstanding contributions to QBF solver development, search-based solver DepQBF, proof systems, and practical solving techniques.
[ certificate | gallery | picture | medal ]