First Day (June 12th) SAT
Morning	John Franco Foundations and theoretical aspects of SAT	Armin Biere Modern CDCL SAT solvers
Afternoon	Holger Hoos Meta-algorithmic techniques in SAT solving: automated configuration, selection and beyond	Joao Marques-Silva MaxSAT and related optimization problems

Second Day (June 13th) SMT
Morning	Cesare Tinelli Foundations of lazy SMT and DPLL(T)	Leonardo de Moura Quantifiers in SMT
Afternoon	Silvio Ghilardi Combinations of theories in SMT	Martin Fränzle SMT modulo Ordinary Differential Equations

Third Day (June 14th) Applications - Verification
Morning	Fabio Somenzi SAT-based model checking	Ken McMillan SMT-based verification of software
Afternoon	Patrice Godefroid Applications of SMT for test-case generation

Fourth Day (June 15th) Applications - Planning, scheduling, and more
Morning	Jussi Rintanen Applications of SAT to planning	Tomi Janhunen SAT and SMT for Answer Set Programming
Afternoon	Bruno Dutertre SMT for fault-tolerant real-time systems	Pete Manolios SMT for scheduling and synthesis of cyber-physical architectural models