Alexey Ignatiev and António Morgado, LASIGE integrated researchers, are organising a Summer School in Lisbon this July.

The SAT/SMT/AR Summer School focus on the recent advances of Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR). The 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.