Monday, 17 July 2017 | ||
| Time | Speaker | Title |
| 09:30 | Director and Organizers | Welcome, Opening Remarks, Announcements |
| 10:15 | High Tea | |
| 10:35 | Madhavan Mukund | Distributed Games |
| 11:20 | Deepak D'Souza | Decision Tree Based Learning of Program Invariants |
| 12:05 | S P Suresh | Consensus Algorithms and Blockchain |
| 12:50 | Lunch | |
| 14:00 | Kumar Madhukar | Counterexample-Guided Quantifier Instantiation for SMT |
| 14:45 | Kamal Lodaya | Between Two- and Three-Variable Logic on Word Models |
| 15:30 | Tea | |
| 15:50 | Inzemamul Haque | Verification of a Separation Kernel |
| 17:00 | Guided Walks / Excursion to Mandi | |
Tuesday, 18 July 2017 | ||
| Time | Speaker | Title |
| 09:00 | Paritosh Pandya | Formalizing timing diagram requirements in QDDC |
| 09:45 | Abhisekh Sankaran | A Finitary Analogue of the Downward Lowenheim-Skolem Property |
| 10:30 | Tea | |
| 10:50 | Short Talks | Ram Chandra Bhushan, Priyanka Darke (Shrawan Kumar), Souradyuti Paul, S P Suresh |
| 12:30 | Lunch | |
| 13:30 | Excursion to Rewalsar | |