The First Indian SAT+SMT School

Name: The First Indian SAT+SMT School
Start: 2016-12-04T09:00:00+05:30
End: 2016-12-10T18:00:00+05:30
Location: TIFR-Mumbai

4–10 Dec 2016

TIFR-Mumbai

Asia/Kolkata timezone

Session

8 Dec 2016, 09:00

AG 66 (TIFR-Mumbai)

Email: indian.satsmt.school@gmail.com

slides

Seshia-FormalInductiveSynthesis.pdf

Building timetable...