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

Upcoming Events

• SOQE 2021, 6–8 November 2021, associated with KR 2021 in Hanoi, Vietnam (virtual)

Past Events

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