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