| Name | Affliation | Title |
|
| Soumyadip Bandyopadhyay | BITS, Goa | Equivalence Checking of Petri Net Based Models of Programs |
| Aiswarya Cyriac | CMI | On recency bounded verification of dynamic database driven systems |
| Ashutosh Gupta | TIFR | Fence synthesis using happens-before formulas |
| Kumar Madhukar | TRDDC/CMI | Software Model Checking for People Who Love Automata |
| Amaldev Manual | CMI | Automata for People Who Love Software Model Checking |
| Paritosh Pandya | TIFR | Heterogenous requirement modelling: Analysis and controller synthesis |
| Anil Seth | IIT Kanpur | Some Classical results on Downward and Effectively Downward closure of Word languages |
| Subodh Sharma | IIT Delhi | Dynamic Discovery of Safety Violations in Parallel Software Using Representative |
| Sachin Srivastava | Citrix | Generating Quantified Invariants from Scalar Invariants |