Thursday, 3 July 2025, Venue : CEP Conference Room
Time	Speaker	Title
0930 -- 0945	Puneet Bhateja	Opening remarks
Day 1		Session I    (Chair: Kumar Madhukar)
0945 -- 1030	Aniket Mishra	Formally Specifying the Rust Core
1030 -- 1100		Tea/Coffee
Day 1		Session II    (Chair: Abhisekh Sankaran)
1100 -- 1145	S P Suresh	Intruder Theories
1145 -- 1230	Pranshu Gaba	Optimising expectation with guarantees for window mean payoff in Markov decision processes
1230 -- 1400		Lunch
Day 1		Session III    (Chair: Aalok Thakkar)
1400 -- 1445	Arijit Shaw	Quantitative Reasoning in SMT: Counting, Sampling, and Volume Estimation
1445 -- 1530	Keerthan Ravi	An automaton model to succinctly represent suffix-based specifications of a concurrent system
1530 -- 1600		Tea/Coffee
Friday, 4 July 2025, Venue : CEP Conference Room
Time	Speaker	Title
Day 2		Session I    (Chair: Neeldhara Misra)
0945 -- 1030	Abhisekh Sankaran	The Weisfeiler Leman Algorithm - Part I
1030 -- 1100		Tea/Coffee
Day 2		Session II    (Chair: Bireswar Das)
1100 -- 1145	Aalok Thakkar	Guiding Enumerative Program Synthesis with Large Language Models
1145 -- 1230	Vaishnavi Sundararajan	Algorithms and complexity for fragments of intuitionistic logic
1230 -- 1400		Lunch
Day 2		Session III    (Chair: Puneet Bhateja)
1400 -- 1445	Kumar Madhukar	Improving Global Robustness Checks by Approximating DNNs
1445 -- 1530	Abhisekh Sankaran	The Weisfeiler Leman Algorithm - Part II
1530 -- 1600		Tea/Coffee