December 15-17, 2023
An IARCS Winter School
Home
Venue
Invited Tutorials
Programme
Short Presentations
Registration
Sponsors
Previous Editions
(current)
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.