| Name | Affliation | Title |
| Kamal Lodaya | IMSc | Reachability in Petri Nets |
| Madhavan Mukund | CMI | Model-checking Event Structures |
| K Narayan Kumar | CMI | Relating Existential MSO and Communicating Automata |
| M Praveen | IMSc | Reachability in Petri Nets |
| K R Raghavendra | IISc | Models of Information Security |
| Anil Seth | IIT Kanpur | Solution Concepts in Game Theory: An Introduction |
| S P Suresh | CMI | Successful and unsuccessful updates |
| R Venkatesh | TRDDC | The Alloy Language |