| Time | Speaker | Topic |
Thursday, 16 July 2016 | ||
| Time | Speaker | Title |
| 09:20 | Deepak D'Souza | Opening remarks |
| 09:30 | Ashutosh Gupta | Model Checking Gene Regulatory Networks |
| 10:15 | Akash Lal | DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs |
| 11:00 | Tea | |
| 11:30 | Prakash Saivasan | Verification of concurrent recursive programs with shared memory |
| 12:15 | Harsh Beohar | Open maps in concrete categories and branching bisimulation for prefix orders |
| 13:00 | Lunch | |
| 14:00 | S P Suresh | The complexity of disjunction in intuitionistic logic |
| 14:45 | Shrawan Kumar | A New Slicing Concept for Scalable Property Checking |
| 15:30 | Tea | |
| 16:00 | Kumar Madhukar | Proof Spaces for Unbounded Parallelism |
| 16:45 | Prahlad Sampath | Formal Analysis using MATLAB/Simulink |
| 17:30 | Nishant Sinha | Simplifying Web Programming |
Friday, 17 July 2015 | ||
| Time | Speaker | Title |
| 09:30 | Kiran Kumar | Enabling Shift-Left through FV Methodologies on Intel Graphics Designs |
| 10:15 | Kamal Lodaya | Regular Expressions, Sequents and Admissibility of Cut |
| 11:00 | Tea | |
| 11:30 | Sabuj Kumar Jena | Learning Quantified Invariants |
| 12:00 | Snighda Athaiya | Eventual Consistency |
| 12:30 | Dharani Clement | Filling the Three Dimensional Space by Tetrahedra |
| 13:00 | Lunch | |
| 14:00 | Namit Chaturvedi | Automata Classes for Recognizable Languages of Infinite Mazurkiewicz Traces |
| 15:30 | Tea | |