Thursday, 19 July 2018
Time	Speaker	Title
9.30	Narayan Kumar Krishnan	Verifying asynchronous programs with locks
10.30	Tea Break
11.00	R Ramanujam	Large games and population protocols
12.00	Animesh Basakchowdhury, Raveendra Kumar M	Coverage-based Greybox fuzzing as Markov chain
01.00	Lunch Break
02.30	Madhavan Mukund	Verification of blockchains and smart contracts
03.30	Tea Break
04.00	Anantha Padmanabha	Satisfiability problem for Term modal logics
Friday, 20 July 2018
Time	Speaker	Title
9.30	Vaishnavi Sundararajan	A theory of assertions for Dolev-Yao models
10.30	Tea Break
11.00	S P Suresh	A bounded witness theorem for assertions
12.00	Sumanth Prabhu	Safety Proofs using Syntax and Behaviors
01.00	Lunch Break
02.30	Kissan Desai	Security protocols to prevent malpractices in summative examinations
02.50	Rekha Pai	Data-race Detection for interrupt-driven kernels
03.10	Deepak DSouza	Data-race Detection for interrupt-driven kernels
03.30	Tea Break
04.00	Ramchandra Phawade	Free choice nets over distributed alphabets
04.45	Abdullah Abdul Khadir	Knowledge transfer and information leakage in protocols
Saturday, 21 July 2018
Time	Speaker	Title
9.30	S Akshay	Boolean functional synthesis:from theory to practice
10.00	Radhakrishnan Delhibabu	Dynamics of Belief: Abduction, Horn Knowledge Base and Database Updates
10.20	Abhisekh Sankaran	Algorithmic metatheorems: a survey of results and techniques
11.00	Tea Break
11.30	Ashwin Srinivasan	Logic based system identification
12.00	Muqsit Azeem	Discovering Relational Specifications
12.30	Aiswarya Cyriac	Reachability in programs with gap-order constraints
01.00	Lunch Break