Formal Methods Update Meeting 2019: List of Speakers


C AiswaryaChennai Mathematical InstituteReachability in Database-driven Systems with Numerical Attributes under Recency Bounding
Muqsit AzeemTRDDC PuneLearning Linear Temporal Properties
Purandar BhaduriIIT GuwahatiAdmissible Strategies for Safety and Reachability Objectives in Graph Games
Sayan MukherjeeChennai Mathematical InstituteTimed Automata and Diagonal Constraints
Madhavan MukundChennai Mathematical InstituteModel Learning
Narendra Kumar N VIDRBTFormalizing Secure Information Flow
Ramchandra PhawadeIndian Institute of Technology DharwadTimed Context Sensitive Languages
Sumanth PrabhuTRDDCSolving Constrained Horn Clauses Using Syntax and Data