| Time | Speaker | Topic |
Thursday, 19 July 2012 | ||
| At CMI | Formal Methods Update Meeting, Day 1 | |
| 09:30-10:30 | Mandayam Srivas | Application of Bounded-Model-Checking (BMC) in an Industrial Setting |
| 10:30-11:00 | Tea | |
| 11:00-12:00 | Kamal Lodaya, IMSc | Verification of Probabilistic Systems |
| 12:00-12:30 | Shibashis Guha, IIT Delhi | Prebisimulation for Timed Automata |
| 12:30-14:00 | Lunch | |
| 14:00-15:00 | Madhavan Mukund, CMI | Statistical Model Checking |
| 15:00-15:30 | Tea | |
| 15:30-16:30 | Prakash Saivasan, CMI | Parity Games on Higher Order Push Down Systems |
Friday, 20 July 2012 | ||
| At CMI | Formal Methods Update Meeting, Day 2 | |
| 09:30-10:30 | Gautham Shenoy R, CMI | Convergent/Commutative Replicated Data Types (CRDTs) |
| 10:30-11:00 | Tea | |
| 11:00-12:00 | S P Suresh, CMI | Selected Papers from LICS 2012 |
| 12:00-12:30 | Bastien Maubert, IRISA, Rennes | Dependence Logic |
| 12:30-14:00 | Lunch | |
| 14:00-15:00 | Deepak D'Souza, IISc | Program Analysis Techniques for Under and Over Approximations |
| 15:00-15:30 | Tea | |
| 15:30-16:30 | Open Session | |
| Subashis Guha, IIT Delhi | Game Characterizations of Timed Bisimulations | |
| Sampath Jayaram, IISc | Synergy vs Lazy Annotation | |
| Ravindra Metta, TRDDC | Three Problems in Correctness Verification | |
| Rajdeep Niyogi, IIT Roorkee | Verification and Synthesis of Multiagent Plans | |
| Abhay Parvate, IMSc | Derivatives of Regular Expressions: An Embedded Representation | |
| Ramchandra Phawade, IMSc | Free Choice Product Systems | |
Saturday, 21 July 2012 | ||
| At IMSc | Golden Jubilee Thematic Lectures | |
| 10:00-11:00 | K Narayan Kumar, CMI | An Introduction to Verification |
| 11:00-11:30 | Tea | |
| 11:30-12:30 | Madhavan Mukund, CMI | Timed Automata |
| 12:30-13:30 | Lunch | |
| 13:30-14:30 | Supratik Chakraborty, IIT Bombay | Analyzing Heap Manipulating Programs |
| 14:30-15:00 | Tea | |
| 15:00-16:00 | R Ramanujam, IMSc | Automata for XML |