| 9:00-9:30 |
Registration |
|
|
| 9:30-10:30 |
Introduction to SAT/SMT solving |
Short Presentations |
Prof. Sanjit Seshia- Tutorial |
| 10:30-11:00 |
Tea/Coffee Break |
Short Presentations |
Prof. Sanjit Seshia - Hands-on Session |
| 11:00 - 11:30 |
Prof. Jakob Nordstrom - Tutorial |
Tea/Coffee Break |
Tea/Coffee Break |
| 11:30 - 13:00 |
Prof. Jakob Nordstrom - Tutorial |
Short Presentations |
TBA |
| 13:00 - 14:30 |
Lunch Break |
Lunch Break |
Lunch Break |
| 14:30 - 15:30 |
Prof. Jakob Nordstrom - Tutorial |
Prof. Sanjit Seshia - Tutorial |
Panel Discussion |
| 15:30 - 16:00 |
Tea/Coffee Break |
Tea/Coffee Break |
Panel Discussion |
| 16:00-16:30 |
Prof. Jakob Nordstrom - Hands-on Session |
Prof. Sanjit Seshia - Hands-on |
Tea/Coffee Break |
| 16:30-17:00 |
Prof. Jakob Nordstrom - Hands-on Session |
Prof. Sanjit Seshia - Hands-on |
Vote of Thanks |
