SC
2
Satisfiability Checking and Symbolic Computation
Bridging Two Communities to Solve Real Problems
We here provide links to relevant schools for newcomers in the SC
2
community. They will find there some learning material to get acquainted with the main subjects around SC
2
.
31 July - 04 August 2017
The SC
2
Summer School
(Saarbrucken, DE),
videos
3-6 July 2018
SAT/SMT/AR Summer School 2018
(Manchester, UK)