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

Past Events

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