December 15-17, 2023
| 15th December | 16th December | 17th December | |
|---|---|---|---|
| 09:00 - 09:30 | Registration | ||
| 09:30 - 10:30 | Introduction to SAT/SMT solving (video) Jakob Nordström |
Short Presentations - I | UCLID5 (Tutorial II) (material, video) Sanjit Seshia |
| 10:30 - 11:00 | Tea/Coffee | Tea/Coffee | Tea/Coffee |
| 11:00 - 12:30 | Pseudo-Boolean Solving (Tutorial I) (video) Jakob Nordström |
Invited talk I (SAT 2022 Best Paper Award talk by Andy Oertel) (video) Invited talk II (Proof complexity for SAT and related problems by Meena Mahajan) (video) |
UCLID5 – Hands-on II (material, video) Sanjit Seshia Short Presentations - II |
| 12:30 - 14:00 | Lunch | Lunch | Lunch |
| 14:00 - 15:00 | Pseudo-Boolean Solving (Tutorial II) (video) Jakob Nordström |
UCLID5 (Tutorial I) (material, video) Sanjit Seshia |
Panel Discussion on SAT-SMT: How can academia help industry? (video) |
| 15:00 - 15:30 | Tea/Coffee | Tea/Coffee | Tea/Coffee |
| 15:30 - 17:00 | Pseudo-Boolean Solving – Hands-on (instructions, benchmarks, video 1, video 2) Jakob Nordström |
UCLID5 – Hands-on I (material, video) Sanjit Seshia |
Short Presentations - III Closing Remarks; Vote of thanks (video) |