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 school will take place on 3-6 July 2018 (preceding FLoC).

UPDATE: The schedule has been updated with slides from the talks. Videos of lectures will be added soon.

Confirmed Speakers

We are happy to confirm 15 outstanding international speakers for the summer school. Bios for the speakers can be found on the Speakers page.

Organisers of the Summer School

Sponsors of the Summer School