TimeSpeakerTopic

Monday, 13 July 2009
09:00-09:30Registration
09:30-10:30Anil Seth, IIT KanpurSolution Concepts in Game Theory: An Introduction (Part 1)
10:30-11:00Tea
11:00-12:00K R Raghavendra, IIScModels of Information Security
12:00-12:45Madhavan Mukund, CMIModel-Checking Event Structures (Part 1)
12:45-14:30Lunch
14:30-15:30M Praveen, IMScReachability in Petri Nets (Part 1)
15:30-16:00Tea
16:00-17:00R Venkatesh, TRDDCThe Alloy Language

Tuesday, 14 July 2009
09:30-10:30Anil Seth, IIT KanpurSolution Concepts in Game Theory: An Introduction (Part 2)
10:30-11:00Tea
11:00-12:00S P Suresh, CMISuccessful and unsuccessful updates
12:00-12:45Madhavan Mukund, CMIModel-Checking Event Structures (Part 2)
12:45-14:30Lunch
14:30-15:30Kamal Lodaya, IMScReachability in Petri Nets (Part 2)
15:30-16:00Tea
16:00-17:00TBA

Wednesday, 15 July 2009
09:30-10:30K Narayan Kumar, CMIRelating Existential MSO and Communicating Automata
10:30-11:00Tea
11:00-12:30Discussion
12:30-14:00Lunch