SAT / SMT / AR Summer School 2019

              Lisbon, Portugal, 3 - 6 July 2019

        Registration deadline: 31 May 2019, 23:59 AoE

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 SAT/SMT/AR summer school will precede SAT 2019 and SMT 2019 taking place on July 3-6, 2019 at the Instituto Superior Técnico (IST/UL), University of Lisbon, Portugal.


Registration at the summer school is free of charge but mandatory for all attendees. Registration deadline is May 31, 2019.

Please, take into consideration that the number of attendees is limited. Register as soon you are sure to be able to attend the summer school.

Note that scholarships will be available for PhD students from the US, thanks to the NSF support.

More Information

More information about the summer school can be found at Any questions related to the summer school may be addressed to the organizers.