| Name | Affliation | Title |
|
| Snigdha Athaiya | IISc | Eventual Consistency |
| Harsh Beohar | University of Duisburg-Essen | Open maps in concrete categories and branching bisimulation for
prefix orders |
| Namit Chaturvedi | IBM | Automata Classes for Recognizable Languages of Infinite Mazurkiewicz Traces |
| Dharani Clement | Queen Marys College | Filling the Three Dimensional space by Tetrahedra |
| Ashutosh Gupta | TIFR | Model Checking Gene Regulatory Networks |
| Sabuj Kumar Jena | IISc | Learning Quantified Invariants |
| Achutha Kiran Kumar | Intel | Enabling Shift-Left through FV Methodologies on Intel Graphics Designs |
| Shrawan Kumar | TRDDC | Value Slice: A New Slicing Concept for Scalable Property Checking |
| Akash Lal | Microsoft Research | DAG Inlining: A Decision Procedure for Hierarchical Programs |
| Kamal Lodaya | IMSc | Regular Expressions, Sequents and Admissibility of Cut |
| Srivas M K | CMI | Accelerating Program Loops: A Summary of a Few Recent Results |
| Kumar Madhukar | TRDDC | Proof Spaces for Unbounded Parallelism |
| Suresh S P | CMI | The complexity of disjunction in intuitionistic logic |
| Prakash Saivasan | CMI | Verification of concurrent recursive programs with shared memory |
| Prahladavaradhan Sampath | Mathworks | Formal Analysis Using MATLAB/Simulink |
| Nishant Sinha | IBM | Simplifying Web Programminig |