Wednesday, 10 July 2019
Time	Speaker	Title
9:45 - 10:00	Registration
10:00 - 10:05	Welcome Address
10:05 - 11:05	Purandar Bhaduri	Admissible Strategies for Safety and Reachability Objectives in Graph Games
11:00 - 11:30	Tea Break
11:30 - 12:30	Ramchandra Phawade	Timed Context Sensitive Languages
12:30 - 1:45	Lunch
1:45 - 2:30	Sayan Mukherjee	Timed Automata and Diagonal Constraints
2:30 - 3:30	Narendra Kumar N V	Formalizing Secure Information Flow
3:30 - 4:00	Tea Break
4:00 - 5:00	Narendra Kumar N V	Formalizing Secure Information Flow (cont.)
Thursday, 11 July 2019
Time	Speaker	Title
9:45 - 10:15	C Aiswarya	Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding
10:15 - 11:15	Sumanth Prabhu	Solving Constrained Horn Clauses Using Syntax and Data
11:15 - 11:40	Tea Break
11:40 - 12.40	Madhavan Mukund	Model Learning
12:40 - 2:00	Lunch
2:00 - 3:00	Muqsit Azeem	Learning Linear Temporal Properties
3:00 - 3:50	Panel Discussion
3:50 - 4:00	Vote of Thanks
4:00	Tea Break