| Name | Affliation | Title |
|
| Pranshu Gaba | TIFR Mumbai | Optimising expectation with guarantees for window mean payoff in Markov decision processes |
| Kumar Madhukar | IIT Delhi | Improving Global Robustness Checks by Approximating DNNs |
| Aniket Mishra | IIT Gandhinagar | Formally Specifying the Rust Core |
| Keerthan Ravi | TCS Research | An automaton model to succinctly represent suffix-based specifications of a concurrent system |
| Abhisekh Sankaran | TCS Research | The Weisfeiler Leman Algorithm |
| Arijit Shaw | Chennai Mathematical Institute | Quantitative Reasoning in SMT: Counting, Sampling, and Volume Estimation |
| Vaishnavi Sundararajan | IIT Delhi | Algorithms and complexity for fragments of intuitionistic logic |
| S P Suresh | Chennai Mathematical Institute | Intruder Theories |
| Aalok Thakkar | Ashoka University | Guiding Enumerative Program Synthesis with Large Language Models |