| Time | Speaker | Topic |
Thursday, 21 July 2016 | ||
| Time | Speaker | Title |
| 9:30 | Kumar Madhukar | Software Model Checking for People Who Love Automata |
| 10:15 | Amaldev Manual | Automata for People who Love Software Model Checking |
| 11:00 | Tea | |
| 11:30 | Paritosh Pandya | Heterogenous requirement modelling: Analysis and controller synthesis |
| 12:15 | Astrid Kiehn | A Local Checkpointing Algorithm |
| 13:00 | Lunch | |
| 14:00 | Subodh Sharma | Dynamic Discovery of Safety Violations in Parallel Software Using Representatives |
| 15:00 | Tea | |
| 15:30 | Excursion | |
Friday, 22 July 2016 | ||
| Time | Speaker | Title |
| 9:00 | Aiswarya Cyriac | On recency bounded verification of dynamic database driven systems |
| 9:45 | Ashutosh Gupta | Fence synthesis using happens-before formulas |
| 10:30 | Tea | |
| 11:00 | Anil Seth | Some Classical results on Downward Closure of Word Languages |
| 11:45 | Soumyadip Bandyopadhyay | Equivalence Checking of Petri Net Based Models of Programs |
| 12:30 | Sachin Srivastava | Generating Quantified Invariants from Scalar Invariants |
| 13:00 | Lunch | |