Registration for Attending SAT+SMT 2023

Registration for the 2023 SAT+SMT School (co-located with FSTTCS 2023) has started closed.