| Name | Affliation | Title |
|
| Nikhil Balaji | IIT Delhi | Multiplicity equivalence of context-free grammars |
| Soumyadip Bandyopadhayay | ABB Corporate Research Lab | Behavioural Verification of Software Upgrade and Migration for PLC Code using Petri net based model |
| Rajdeep Baruri | IIT Dharwad | Mission Decomposition in Multi-agent systems |
| Sudakshina Dutta | IIT Goa | Provable repair of Deep Neural Networks |
| Priyanka Golia | IIT Delhi | Designing Samplers is Easy |
| Nikhil Hegde | IIT Dharwad | Revisiting model checking of parameterized systems with counter abstraction and environment abstraction |
| Piyush Kurur | IIT Palakkad | Kleene algebra, their equational theory and an attempt to formalization |
| Sayan Mukherjee | Universite Libre de Bruxelles, Belgium | Greybox Learning of Languages Recognizable by Event-Recording Automata |
| Diganta Mukhopadhyay | TCS Research | Structural Abstractions of Neural Networks |
| Habeeb P | IISc Bangalore | Approximate Conformance Verification of Deep Neural Networks |
| Sumanth Prabhu | TCS Research | Constrained Horn Clauses for Specification Synthesis |
| Ramanujam R | Azim Premji University | Implicitly quantified modal logic for reasoning in large games |
| Krishna S | IIT Bombay | Verification of concurrent programs under weak memory |
| Alphy George and Shabana AT | NIT Calicut | Verification of Deep Reinforcement Learning Systems |
| Venkata Hanumanta Prathamesh Turaga | Krea University | Formalizing Free Groups in Isabelle-HOL: Nielsen-Schreier and Conjugacy Problem |