Satisfiability Checking and Symbolic Computation

Bridging Two Communities to Solve Real Problems

We here provide links to relevant schools for newcomers in the SC2 community. They will find there some learning material to get acquainted with the main subjects around SC2.

31 July - 04 August 2017The SC2 Summer School (Saarbrucken, DE), videos
3-6 July 2018 SAT/SMT/AR Summer School 2018 (Manchester, UK)