August 18-20, 2024
An IARCS Winter School
Home
Venue
Previous Editions
(current)
2023
2022
2021
2020
2019
2018
2017
2016
Registration for Attending SAT+SMT 2023
Registration for the 2023 SAT+SMT School (co-located with
FSTTCS 2023
) has
started
closed.