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 |