Formal Methods Update Meeting 2017: List of Speakers


Ram Chandra BhushanMNNIT AllahabadA CCS and MCRL2 Case Study: A Safety-Critical System
Deepak D'SouzaIIScDecision Tree Based Learning of Program Invariants
Priyanka DarkeTRDDCUse of abstraction in code verification
Inzemamul HaqueIIScVerification of a Separation Kernel
Shrawan KumarTRDDCUse of abstraction in code verification
Kamal LodayaIMScBetween Two- and Three-Variable Logic on Word Models
Kumar MadhukarTRDDCCounterexample-Guided Quantifier Instantiation for SMT
Madhavan MukundCMIDistributed Games
Paritosh PandyaTIFRFormalizing Timing Diagram Requirements in QDDC
Souradyuti PaulIIT GNSmart Contracts and Formal Methods
Abhisekh SankaranIMScA Finitary Analogue of the Downward Lowenheim-Skolem Property
S P SureshCMIConsensus Algorithms and Blockchain
S P SureshCMIKnowledge transfer and information leakage in protocols