| Name | Affliation | Title |
|
| Ram Chandra Bhushan | MNNIT Allahabad | A CCS and MCRL2 Case Study: A Safety-Critical System |
| Deepak D'Souza | IISc | Decision Tree Based Learning of Program Invariants |
| Priyanka Darke | TRDDC | Use of abstraction in code verification |
| Inzemamul Haque | IISc | Verification of a Separation Kernel |
| Shrawan Kumar | TRDDC | Use of abstraction in code verification |
| Kamal Lodaya | IMSc | Between Two- and Three-Variable Logic on Word Models |
| Kumar Madhukar | TRDDC | Counterexample-Guided Quantifier Instantiation for SMT |
| Madhavan Mukund | CMI | Distributed Games |
| Paritosh Pandya | TIFR | Formalizing Timing Diagram Requirements in QDDC |
| Souradyuti Paul | IIT GN | Smart Contracts and Formal Methods |
| Abhisekh Sankaran | IMSc | A Finitary Analogue of the Downward Lowenheim-Skolem Property |
| S P Suresh | CMI | Consensus Algorithms and Blockchain |
| S P Suresh | CMI | Knowledge transfer and information leakage in protocols |