| Speaker | Affliation | Topic |
|
| Madhavan Mukund | CMI | Software Transactional Memory |
| Uday Khedker | IIT Mumbai | Pointer Analysis |
| Supratik Chakraborty | IIT Mumbai | Verification of Parameterized Systems by Regular Model Checking |
| R Ramanujam | Mat Science | Some decidable fragments of first order logics |
| Shrawan Kumar | TRDDC | Saturn |
| Kamal Lodaya | Mat Science | Doing automata theory over dense linear orders |
| N Raja | TIFR | Survey of OS Verification |
| Prahlad Sampath | GM India Research Centre | Survey of Compiler Verification |
| Paritosh Pandya | TIFR | Kleene Algebra with Tests |
| S P Suresh | CMI | Proof theory for security protocols |
| R K Shyamsundar | TIFR | Correctness of Transformations underlying Refactoring |
| Sujata Gosh | | On Game Logics |