The school introduces graduate students and researchers from academia and industry into research and methodology in both Satisfiability Checking (SAT/SMT) and Symbolic Computation with one focus on their interconnections. It combines a thorough introduction into the theory of both fields with lectures on state-of-the-art software systems and their implementation. This is supplemented with presentations by lecturers from industry discussing the practical relevance of the topics of the school.
Schedule: July 31 - August 4, 2017
Offered for: SC2 Summer School students
- Teacher: Keijo Heljanko
- Teacher: Tomi Janhunen
- Teacher: Tommi Junttila
- Teacher: Markku Riekkinen