Thursday, 11 July 2024, Venue : 008, Central Learning Theatre (CLT) | ||
| Time | Speaker | Title |
| 0855 -- 0900 | Anantha Padmanabha | Opening remarks |
| Day 1 | Session I (Chair: Ramchandra Phawade) | |
| 0900 -- 0945 | Krishna S | Verification of concurrent programs under weak memory |
| 0945 -- 1030 | Nikhil Hegde | Revisiting model checking of parameterized systems with counter abstraction and environment abstraction |
| 1030 -- 1100 | Tea/Coffee | |
| Day 1 | Session II (Chair: Soumyadip Bandyopadhayay) | |
| 1100 -- 1145 | Diganta Mukhopadhyay | Structural Abstractions of Neural Networks |
| 1145 -- 1230 | Sudakshina Dutta | Provable repair of Deep Neural Networks |
| 1230 -- 1400 | Lunch | |
| Day 1 | Session III (Chair: Deepak D'Souza) | |
| 1400 -- 1445 | Alphy George and Shabana AT | Verification of Deep Reinforcement Learning Systems |
| 1445 -- 1530 | Ramanujam R | Implicitly quantified modal logic for reasoning in large games |
| 1530 -- 1600 | Tea/Coffee | |
| Day 1 | Session IV (Chair: Sumanth Prabhu) | |
| 1600 -- 1645 | Sayan Mukherjee | Greybox Learning of Languages Recognizable by Event-Recording Automata |
| 1645 -- 1730 | Priyanka Golia | Designing Samplers is Easy |
| 1730 -- | Tea/Coffee and Snacks | |
Friday, 12 July 2024, Venue : 008, Central Learning Theatre (CLT) | ||
| Time | Speaker | Title |
| Day 2 | Session I (Chair: Ramanujam R) | |
| 0900 -- 0945 | Piyush Kurur | Kleene algebra, their equational theory and an attempt to formalization |
| 0945 -- 1030 | Venkata Hanumanta Prathamesh Turaga | Formalizing Free Groups in Isabelle-HOL: Nielsen-Schreier and Conjugacy Problem |
| 1030 -- 1100 | Tea/Coffee | |
| Day 2 | Session II (Chair: Kumar Madhukar) | |
| 1100 -- 1145 | Rajdeep Baruri | Mission Decomposition in Multi-agent Systems |
| 1145 -- 1230 | Soumyadip Bandyopadhayay | Behavioural Verification of Software Upgrade and Migration for PLC Code using Petri net based model |
| 1230 -- 1400 | Lunch | |
| Day 2 | Session III (Chair: Ashutosh Gupta) | |
| 1400 -- 1445 | Nikhil Balaji | Multiplicity equivalence of context-free grammars |
| 1445 -- 1530 | Sumanth Prabhu | Constrained Horn Clauses for Specification Synthesis |
| 1530 -- 1600 | Tea/Coffee | |
| Day 2 | Session IV (Chair: Rajarshi Ray) | |
| 1600 -- 1620 | Habeeb P | Approximate Conformance Verification of Deep Neural Networks |
| 1620 -- 1640 | Vivek Shahare | Tool demo: Model checking using SPIN and NuSMV |
| 1640 -- 1700 | Tephilla Prince | Deciding reachability and coverability in Lossy EOS and its implementations |
| 1700 -- | Tea/Coffee and Snacks | |