| Name | Affliation | Title |
| 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 |
| Arijit Shaw | Chennai Mathematical Institute | Quantitative Reasoning in SMT: Counting, Sampling, and Volume Estimation |
| S P Suresh | Chennai Mathematical Institute | Intruder Theories |
| Aalok Thakkar | Ashoka University | Guiding Enumerative Program Synthesis with Large Language Models |