| Time | Speaker | Topic |
Thursday, 15 July 2010 | ||
| 12:30-13:00 | Registration | |
| 13:00-14:00 | Lunch | |
| 14:00-14:15 | Samaresh Chatterji and Ashok Amin, DA-IICT | Opening |
| 14:15-15:00 | N Raja, TIFR | Interactive proof checking |
| 15:00-15:30 | Tea | |
| 15:30-16:30 | Deepak D'Souza, IISc | Relaxed memory models and data-races |
| 16:30-17:00 | R B Phawade, IMSc | Regular expressions, derivatives and automata |
| 17:00-17:30 | Tea and snacks | |
Friday, 16 July 2010 | ||
| 09:30-10:45 | K Narayan Kumar, CMI | Analysis of multi-stack systems |
| 10:45-11:15 | Sreejith A V, IMSc | Automata, treewidth and regular expressions |
| 11:15-11:45 | Tea | |
| 11:45-13:00 | Madhavan Mukund, CMI | Verification of weak memory models |
| 13:00-14:00 | Lunch | |
| 14:00-15:00 | Sanjiva Prasad, IIT D | An operational approach to multiprocessors with caches |
| 15:00-15:30 | Tea | |
| 15:30-16:30 | Benoit Razet, TIFR | Axiomatisation of regular expressions |
| 16:30-17:00 | Kamal Lodaya, IMSc | From temporal logic to circuits |
| 17:00-17:30 | Tea and snacks | |
Saturday, 17 July 2010 | ||
| 09:30-10:45 | Supratik Chakraborty, IIT B | Satisfiability checking of effectively propositional logic |
| 10:45-11:15 | Ratnik Gandhi, DA-IICT | Nash equilibria with polynomial algebra |
| 11:15-11:45 | Tea | |
| 11:45-12:45 | S P Suresh, CMI | Public announcement logic |
| 12:45-13:00 | Closing | |
| 13:00-14:00 | Lunch | |