| Time | Speaker | Topic |
Monday, 28 July 2014 | ||
| Theory, 1 | ||
| 09:00-09:40 | B. Srivathsan (CMI) | Timed and Counter Systems |
| 09:40-10:20 | Kamal Lodaya (IMSc) | Automata from Left and Right |
| 10:20-10:40 | Break | |
| Student Talks - 1 | ||
| 10:40-11:10 | Nehul Jain (IIT Bombay) | Games and Realizability |
| 11:10-11:40 | Shibashis Guha (IIT Delhi) | Timed bisimilarity through model checking and other problems |
| 11:40-12:10 | Dipak Chaudhari (IIT Bombay) | Automated Theorem Prover Assisted Program Calculations |
| 12:00-14:00 | Lunch | |
| Hardware Verification | ||
| 14:00-14:40 | Debdeep Mukhopadhyay (IIT Kharagpur) | Cache Attacks on Symmetric Key Crypto-systems and their Formal Analysis |
| 14:40-15:20 | Suchismita Roy (NIT Durgapur) | SAT based Techniques for Routing in FPGAs |
| 15:20-15:40 | Break | |
| Student Talks - 2/Distributed systems | ||
| 15:40-16:10 | Aritra Hazra (IIT Kharagpur) | Formal Methods for Architectural Power Intent Verification |
| 16:10-17:00 | Madhavan Mukund (CMI) | Formal specification of eventually consistent data structures |
Tuesday, 29 July 2014 | ||
| Embedded Systems | ||
| 09:00-09:40 | Pallab Dasgupta (IIT Kharagpur) | Embedded Control Scheduling: An Automata and Language Theoretic Perspective |
| 09:40-10:20 | Rajarshi Ray (NIT Meghalaya) | ASAC - Automatic Sensitivity Analysis for Approximate Computing |
| 10:20-10:40 | Break | |
| Embedded and Hybrid systems | ||
| 10:40-11:20 | Soumyajit Dey (IIT Kharagpur) | Reliability Analysis for Unreliable Embedded Systems |
| 11:20-11:50 | Antonio A. Bruto da Costa (VERIMAG, IIT KGP) | Feature based abstractions and Support Function Reachability for Hybrid Automata |
| 12:00-14:00 | Lunch | |
| Software Verification/Analysis 1 | ||
| 14:00-14:40 | Nishant Sinha (IBM) | Good Error Explanations = Minimal Proofs |
| 14:40-15:20 | R. Venkatesh (TRDDC) | From Invariant Checking to Invariant Inference Using Randomized Search |
| 15:20-15:40 | Break | |
| Student Talks - 3 | ||
| 15:40-16:10 | Raveendra Kumar (IISc) | Static Analysis and Verification of File-Processing Programs using File Format Specifications |
| 16:10-16:40 | Kunal Banerjee (IIT Kharagpur) | Translation Validation using Path Based Equivalence Checkers Augmented with SMT Solvers |
| 19:30 | Dinner | |
Wednesday, 30 July 2014 | ||
| Theory and Software Systems - 2 | ||
| 09:00-09:40 | A Baskar (BITS Goa) | Quantitative Information Flow Problems |
| 09:40-10:20 | Astrid Kiehn (IIIT Delhi) | Snapshot Algorithms for Mobile Computing Environment |
| 10:20-11:00 | Kumar Madhukar (TRDDC) | Sympara: Formally Verifying Synchronous Reactive Systems |