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

Upcoming Events

• SOQE 2021, 3–5 November 2021, associated with KR 2021 (online event)

Past Events

• SOQE 2017, 6–8 December 2017 at TU Dresden