Tentative Schedule (subject to change)

(All times are in IST UTC+5:30)


  15th December 16th December 17th December
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