Applications to the SAT/SMT/AR Summer School are now closed.
Registration to the summer school is now open!
The registration will be free of charges. If you have been selected to participate in the summer school, you should have received an email with all information regarding the registration process.