Floc Success

Several papers accepted at FLoC 2026 conferences (Lisbon, July 2026)!

• CAV and KR: one paper each – congrats to Shufang Zhu!
• LICS: 2 papers – congrats to Frank Wolter and Louwe Kuijer!
• SAT: paper accepted – congrats to Friedrich Slivovsky!