SAT/SMT Summer School 2014

Tuesday, Jun 10, 2014

The Forsyte group co-organises this year’s edition of the SAT/SMT Summer School. We have invited 12 internationally renowned experts in the field of automated decision procedures to present the foundations as well as applications of SAT/SMT solvers. We received 125 applications, of which we invited more than 80 international participants from Asia, the Americas, and Europe.