| Name | Affliation | Title |
|
| Deepak D'Souza | IISc | Program Analysis Techniques for Under and Over
Approximations |
| Shibashis Guha | IIT Delhi | Prebisimulation for Timed Automata |
| Kamal Lodaya | IMSc | Verification of Probabilistic Systems |
| Bastien Maubert | IRISA | Dependence Logic |
| Madhavan Mukund | CMI | Statistical Model Checking |
| Prakash Saivasan | CMI | Parity Games on Higher Order Push Down Systems |
| Gautham Shenoy R | CMI | Convergent/Commutative Replicated Data Types (CRDTs) |
| Mandayam Srivas | Independent | Application of Bounded-Model-Checking (BMC) in an Industrial Setting |
| S P Suresh | CMI | Selected Papers from LICS 2012 |