[DL] SAT/SMT/AR Summer School 2018

geoff at cs.miami.edu geoff at cs.miami.edu
Thu Feb 15 17:55:36 CET 2018

SAT/SMT/AR Summer School 2018

We are pleased to announce that the next edition of the SAT/SMT/AR Summer 
School will take place in Manchester, UK on 3-6th July 2018. 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. There will also be a special session on computer
algebra to continue the activity of the SC2 summer school in 2017.

Lecturers for this year's summer school have been announced on the school's
and detailed programme of topics will appear soon.

Applications can be made via the following form

More information about the dl mailing list