SAT / SMT / AR Summer School 2019 Lisbon, Portugal, 3 - 6 July 2019 https://reason.di.fc.ul.pt/ssa-school-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.
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.