Time | Title | Speaker |
---|---|---|
10:00 - 11:00 | An introduction to verification abstract |
K. Narayan Kumar, Chennai Mathematical Institute, Chennai |
11:00 - 11:30 | Tea/Coffee Break | |
11:30 - 12:30 | Timed Automata abstract |
Madhavan Mukund, Chennai Mathematical Institute, Chennai |
12:30 - 13:30 | Lunch | |
13:30 - 14:30 | Analyzing Heap Manipulating Programs abstract |
Supratik Chakraborty, IIT Bombay |
14:30 - 15:00 | Tea/Coffee Break | |
15:00 - 16:00 | Automata for XML abstract |
R. Ramanujam, IMSc Chennai |