4–10 Dec 2016
TIFR-Mumbai
Asia/Kolkata timezone

Session

Formal Inductive Synthesis: Theory and Applications II - Sanjit Seshia (slides are added in the first session I)

8 Dec 2016, 11:00
AG 66 (TIFR-Mumbai)

AG 66

TIFR-Mumbai

Email: indian.satsmt.school@gmail.com

Presentation materials

There are no materials yet.
Building timetable...