Registration for Attending SAT+SMT 2022

Registration for this school is through FSTTCS 2022. Here is a direct link to the registration page:

If you are interested in giving a talk or presenting a poster in the broad area of SAT/SMT, please let us know by submitting this Google form on or before Nov. 15th.