Formal Methods Update meeting 2009: List of Speakers


Kamal LodayaIMScReachability in Petri Nets
Madhavan MukundCMIModel-checking Event Structures
K Narayan KumarCMIRelating Existential MSO and Communicating Automata
M PraveenIMScReachability in Petri Nets
K R RaghavendraIIScModels of Information Security
Anil SethIIT KanpurSolution Concepts in Game Theory: An Introduction
S P SureshCMISuccessful and unsuccessful updates
R VenkateshTRDDCThe Alloy Language