SOQE
Workshop Series on Second-Order Quantifier Elimination and Related Topics

Upcoming Events

• CI-BD-SOQE 2026, Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination, 24–25 July 2026 at FLoC 2026 in Lisbon

Past Events

• SOQE 2021, 4 November 2021, associated with KR 2021 (online event)
• SOQE 2017, 6–8 December 2017 at TU Dresden