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 is the first SAT/SMT/AR Summer School, but continues the successful line of SAT/SMT Summer Schools, which have taken place annually since 2011.

The SAT/SMT/AR Summer School will take place on June 22-25 2016 in Lisbon, Portugal, in the week before the IJCAR conference in Coimbra (27 June – 2 July), which in turn is followed by the SAT conference in Bordeaux (July 5-8).

Organisers of the Summer School

Please send questions about the summer school to ssa-school-2016@sat.inesc-id.pt.

Sponsors of the Summer School

 ist-218x118  SAT-Logo  Logo  nsf1