Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2015 as SAT/SMT Summer Schools and added AR in 2016.
The summer school will be taking place in the School of Computer Science at the University of Manchester. The preliminary dates for the school are 3-6 July 2018.
Organisers of the Summer School
- Giles Reger, University of Manchester
- Konstantin Korovin, University of Manchester
- Andrew Reynolds, University of Iowa