December 15-17, 2023
| 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 |