SAT/SMT/AR Summer School 2019
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.
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 about the summer school can be found at https://reason.di.fc.ul.pt/ssa-school-2019/. Any questions related to the summer school may be addressed to the organizers.