| Name | Affliation | Title |
|
| Supratik Chakraborty | IIT Bombay, Mumbai | Syntax vs Semantics in First-order Logic: Los Tarski Theorem and its Variants for Finite Structures |
| Prateek Karandikar | CMI, Chennai | Cutting through regular post embedding problems |
| S Krishna | IIT Bombay, Mumbai | Construction of Signal Automata for MTL[U,S] |
| Kumar Madhukar | TRDDC, Pune | dL and KeYmaera : Towards Verification of Hybrid Systems |
| Raj Mohan Matteplackel | IISc, Bangalore | An inductive construction for monitoring automaton for LTL |
| Ravindra Metta | TRDDC, Pune | Statecharts: Specification, Verification environments and limitations |
| Swarup Mohalik | GM, Bangalore | Verification of end-to-end Latency in embedded systems |
| Madhavan Mukund | CMI, Chennai | The decidability frontier for Petri Nets |
| Paritosh Pandya | TIFR, Mumbai | Formal Analysis of Synchronous LSC specifications using logic CTL[DC] |
| Ramchandra Phawade | IMSc, Chennai | Kleene theorems for product systems |
| M Praveen | IMSc, Chennai | Model-checking finite and infinite state systems |
| K R Raghavendra | IISc, Bangalore | Information-theoretic measures and Program security |
| Prakash Saivasan | CMI, Chennai | Games on Multipushdown Systems |
| Abhishek Sankaran | IIT Bombay | Syntax vs Semantics in First-order Logic: Los Tarski Theorem and its Variants for Finite Structures |
| A V Sreejit | IMSc, Chennai | Decidability of Presburger arithmetic |
| S P Suresh | CMI, Chennai | Authorization logics: logical issues |