Matti Järvisalo has been invited to lecture along with other international experts in the field at the First International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning taking place June 22-25, 2016, in Lisbon, Portugal.
From the summer school webpages: "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."
Last updated on 5 Apr 2016 by Matti Järvisalo - Page created on 5 Apr 2016 by Matti Järvisalo