| Name | Affliation | Title |
|
| C Aiswarya | Chennai Mathematical Institute | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding |
| Muqsit Azeem | TRDDC Pune | Learning Linear Temporal Properties |
| Purandar Bhaduri | IIT Guwahati | Admissible Strategies for Safety and Reachability Objectives in Graph Games |
| Sayan Mukherjee | Chennai Mathematical Institute | Timed Automata and Diagonal Constraints |
| Madhavan Mukund | Chennai Mathematical Institute | Model Learning |
| Narendra Kumar N V | IDRBT | Formalizing Secure Information Flow |
| Ramchandra Phawade | Indian Institute of Technology Dharwad | Timed Context Sensitive Languages |
| Sumanth Prabhu | TRDDC | Solving Constrained Horn Clauses Using Syntax and Data |