15th December (Video) 16th December (Video) 17th December (Video)
09:00 - 09:30 Registration    
09:30 - 10:30 Introduction to SAT/SMT solving
(Ashutosh Gupta)
Invited Talk - Sadhak: A Solver for Satisfiability Modulo Fuzzing
(Subhajit Roy)
Invited Talk - SAT Preprocessing
(Mate Soos)
10:30 - 11:00 Tea/Coffee Tea/Coffee Tea/Coffee
11:00 - 12:30 Invited Tutorial I - Part 1
(Clark Barrett)
Invited Tutorial II - Part 1
(Ciaran McCreesh)
Short Presentations
12:30 - 14:00 Lunch Lunch Lunch
14:00 - 15:30 Invited Tutorial I - Part 2
(Clark Barrett)
Invited Tutorial II - Part 2
(Ciaran McCreesh)
Invited Talk - Distribution Testing: The New Frontier for Formal Methods
(Kuldeep S. Meel)
15:30 - 16:00 Tea/Coffee Tea/Coffee Tea/Coffee
16:00 - 17:30 Invited Tutorial I - Part 3 (Hands-on: lab)
(Clark Barrett)
Invited Tutorial II - Part 3 (Hands-on: lab)
(Ciaran McCreesh)
Invited Talk - When AR met AI
(Clark Barrett)

Concluding Remarks