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