Thursday, 29 June 2023 | ||
| Time | Speaker | Title |
| 0930 -- 0940 | Sudakshina Dutta | Opening remarks |
| Day 1 | Session I (Chair: Madhavan Mukund) | |
| 0940 -- 1020 | Srivathsan B | Suffix-reading automata and their synthesis problem |
| 1020 -- 1100 | Saina Sunny | Deciding edit-distance between transducers |
| 1100 -- 1120 | Tea/Coffee | |
| Day 1 | Session II (Chair: Ramchandra Phawade) | |
| 1120 -- 1200 | S.P. Suresh | The secrecy problem for protocols with assertions |
| 1200 -- 1240 | Sanjana Singh | Optimal Stateless Model Checking based on View-equivalence |
| 1240 -- 1255 | Soumyadip Bandyopadhyay | Equivalence checking of Programs for Translation Validation |
| 1255 -- 1430 | Lunch | |
| Day 1 | Session III (Chair: Venky) | |
| 1430 -- 1510 | Deepak DSouza | Symbolic Fixpoint Algorithms for Logical LTL Games |
| 1510 -- 1550 | Sumanth Prabhu S | Weakest Quantified Preconditions for Linear Array Programs |
| 1550 -- 1610 | Tea/Coffee | |
| Day 1 | Session IV (Chair: Amaldev) | |
| 1610 -- 1650 | Abhisekh Sankaran | First order Skolem function synthesis over finite structures |
| 1730 -- | Tea/Coffee and Snacks | |
Friday, 30 June 2023 | ||
| Time | Speaker | Title |
| Day 2 | Session I (Chair: Kumar Madhukar) | |
| 0940 -- 1020 | Ravindra Metta | (Non-)termination checking via tests |
| 1020 -- 1100 | Pranshu Gaba | Stochastic Window Mean-payoff Games |
| 1100 -- 1120 | Tea/Coffee | |
| Day 2 | Session II (Chair: Srivathsan B) | |
| 1120 -- 1200 | Prince Mathew | One-deterministic-counter automata |
| 1200 -- 1240 | Rajesh Kumar | RESilience-by-DEsign (RESIDE)— a decision theoretic framework for optimal incident response and damage control using statistical model checking |
| 1240 -- 1255 | Ramchandra Phawade | Decidability results for free choice time petri nets |
| 1255 -- 1430 | Lunch | |
| Day 2 | Session III (Chair: Deepak DSouza) | |
| 1430 -- 1510 | Habeeb P | Verification of Camera-Based Autonomous Systems |
| 1510 -- 1550 | Pankaj Kumar Kalita | Program Synthesis beyond Programs |
| 1550 -- 1610 | Tea/Coffee | |
| Day 2 | Session IV (Chair: Vaishnavi Sundararajan) | |
| 1610 -- 1650 | Rahul Sharma | Jigsaw : Large Language Models meet Program Synthesis |
| 1650 -- 1730 | Panel discussion | |
| 1730 -- | Tea/Coffee and Snacks | |
Saturday, 1 July 2023 | ||
| Time | Speaker | Title |
| Day 3 | Session I (Chair: Sudakshina Dutta) | |
| 0940 -- 1020 | Madhavan Mukund | Undecidability of distributed games with causal memory |
| 1020 -- 1100 | Sreejith A. V. | Formal methods in machine learning |
| 1100 -- 1130 | Tea/Coffee | |
| Day 2 | Session II (Chair: Suresh S. P.) | |
| 1130 -- 1150 | Pankaj Kumar Kalita | Synthesizing Abstract Transformer |
| 1150 -- 1210 | Alvin George | Verifying Temporal Properties of Control Systems using Abstraction Refinement |
| 1210 -- 1230 | Dhruv Nivetia | An Automata-Theoretic Characterisation of Weighted First-Order Logic |
| 1230 -- 1235 | Sreejith A. V. | Closing remarks |