Formal Methods Update meeting 2011: List of Speakers

NameAffliationTitle

Supratik ChakrabortyIIT Bombay, MumbaiSyntax vs Semantics in First-order Logic: Los Tarski Theorem and its Variants for Finite Structures
Prateek KarandikarCMI, ChennaiCutting through regular post embedding problems
S KrishnaIIT Bombay, MumbaiConstruction of Signal Automata for MTL[U,S]
Kumar MadhukarTRDDC, PunedL and KeYmaera : Towards Verification of Hybrid Systems
Raj Mohan MatteplackelIISc, BangaloreAn inductive construction for monitoring automaton for LTL
Ravindra MettaTRDDC, PuneStatecharts: Specification, Verification environments and limitations
Swarup MohalikGM, BangaloreVerification of end-to-end Latency in embedded systems
Madhavan MukundCMI, ChennaiThe decidability frontier for Petri Nets
Paritosh PandyaTIFR, MumbaiFormal Analysis of Synchronous LSC specifications using logic CTL[DC]
Ramchandra PhawadeIMSc, ChennaiKleene theorems for product systems
M PraveenIMSc, ChennaiModel-checking finite and infinite state systems
K R RaghavendraIISc, BangaloreInformation-theoretic measures and Program security
Prakash SaivasanCMI, ChennaiGames on Multipushdown Systems
Abhishek SankaranIIT BombaySyntax vs Semantics in First-order Logic: Los Tarski Theorem and its Variants for Finite Structures
A V SreejitIMSc, ChennaiDecidability of Presburger arithmetic
S P SureshCMI, ChennaiAuthorization logics: logical issues