4-10 December 2016
TIFR-Mumbai
Asia/Kolkata timezone
Tutorial: Introduction to SAT solvers
Joao Marques Silva
LaSIGE, University of Lisbon
Tutorial: Introduction to SMT solvers
Alberto Griggio
FBK, Trento, Italy
Tutorial: Applications of SAT and SMT solvers
Sanjit Seshia
UC, Berkeley