soqe.org | SOQE Workshop Series on Second-Order Quantifier Elimination and Related Topics