|
|
SAT/SMT Summer School
|
|
| ♦ |
|
(8th) Intl SAT/SMT/AR Summer School |
|
Lisbon, Portugal, July 3-6, 2019
•
to the school website
|
|
|
| ♦ |
|
(7th) Intl SAT/SMT/AR Summer School |
|
Manchester, UK, July 3-6, 2018
•
to the school website
|
|
|
| ♦ |
|
(6th) Intl SAT/SMT/AR Summer School |
|
Lisbon, Portugal, June 22-25, 2016
•
to the school website
|
|
|
| ♦ |
|
5th Intl SAT/SMT Summer School |
|
Stanford University, California, USA, July 15-17, 2015
•
to the school website
|
|
|
| ♦ |
|
4th Intl SAT/SMT Summer School |
|
Semmering, Austria, July 10-12, 2014
•
to the school website
|
|
|
| ♦ |
|
3rd Intl SAT/SMT Summer School |
|
Aalto University, Helsinki, Finland, July 3-5, 2013
•
to the school website
|
|
|
| ♦ |
|
2nd Intl SAT/SMT Summer School |
|
FDK, Trento, Italy, June 12-15, 2012
•
to the school website
|
|
|
| ♦ |
|
1st Intl SAT/SMT Solver Summer School |
|
MIT, Boston, Mass, USA, June 12-17, 2011
•
to the school website
|
|
|
|
|
