| Name | Affliation | Title |
|
| Sreejith A V | IMSc | Automata, treewidth and their regular expressions |
| Supratik Chakraborty | IIT Bombay | Satisfiability checking for effectively propositional logic |
| Deepak D'Souza | IISc | Relaxed memory models and data-races |
| Ratnik Gandhi | DA-IICT | Nash equilibria with polynomial algebra |
| Kamal Lodaya | IMSc | From temporal logic to circuits |
| Madhavan Mukund | CMI | Verification of weak-memory models |
| K Narayan Kumar | CMI | Analysis of multi-stack systems |
| Ramchandra Phawade | IMSc | Regular expressions, derivatives and automata |
| Sanjiva Prasad | IIT D | An operational approach to multiprocessors with caches |
| N Raja | TIFR | Interactive proof checking |
| Benoit Razet | TIFR | Axiomatisation of regular expressions |
| S P Suresh | CMI | Public announcement logic |