| Time | Speaker | Topic |
Monday, 13 July 2009 | ||
| 09:00-09:30 | Registration | |
| 09:30-10:30 | Anil Seth, IIT Kanpur | Solution Concepts in Game Theory: An Introduction (Part 1) |
| 10:30-11:00 | Tea | |
| 11:00-12:00 | K R Raghavendra, IISc | Models of Information Security |
| 12:00-12:45 | Madhavan Mukund, CMI | Model-Checking Event Structures (Part 1) |
| 12:45-14:30 | Lunch | |
| 14:30-15:30 | M Praveen, IMSc | Reachability in Petri Nets (Part 1) |
| 15:30-16:00 | Tea | |
| 16:00-17:00 | R Venkatesh, TRDDC | The Alloy Language |
Tuesday, 14 July 2009 | ||
| 09:30-10:30 | Anil Seth, IIT Kanpur | Solution Concepts in Game Theory: An Introduction (Part 2) |
| 10:30-11:00 | Tea | |
| 11:00-12:00 | S P Suresh, CMI | Successful and unsuccessful updates |
| 12:00-12:45 | Madhavan Mukund, CMI | Model-Checking Event Structures (Part 2) |
| 12:45-14:30 | Lunch | |
| 14:30-15:30 | Kamal Lodaya, IMSc | Reachability in Petri Nets (Part 2) |
| 15:30-16:00 | Tea | |
| 16:00-17:00 | TBA | |
Wednesday, 15 July 2009 | ||
| 09:30-10:30 | K Narayan Kumar, CMI | Relating Existential MSO and Communicating Automata |
| 10:30-11:00 | Tea | |
| 11:00-12:30 | Discussion | |
| 12:30-14:00 | Lunch | |