Formal Methods Update Meeting 2011: Registered Participants
(email ids are not displayed)

NameAffiliationAcco Reqd?

Sreejith A VIMSc12 - 14 July 2011
S Arun-KumarIIT Delhi12 - 14 July 2011
Wesley CalvertIMSc and Southern Illinois University12 - 14 July 2011
Supratik ChakrabortyIIT Bombay12 - 14 July 2011
Annapurna JonnalagaddaVIT UniversityNo
Lakshmanan KVIT UniversityNo
Kumar KVIT UniversityNo
Raghavendra K. R.IISc12 - 14 July 2011
Prateek KarandikarChennai Mathematical Institute12 - 14 July 2011
Vaibhav KulkarniIIT Bombay11 - 14 July 2011
Kamal LodayaIMSc12 - 14 July 2011
Kumar MadhukarTata Research Development and Design Center11 - 14 July 2011
Anand MahendranVIT UniversityNo
Raj Mohan MatteplackelIISc12 - 14 July 2011
Ravindra MettaTRDDC, TCS11 - 14 July 2011
KARTHIKEYAN MGNIT-CALICUT12 - 14 July 2011
Swarup MohalikGeneral Motors12 - 14 July 2011
Madhavan MukundCMI, Chennai12 - 14 July 2011
A MUTHUSAMYPSG College of Technology, Department of Mathematics and Computer Applications, Coimbatore-64100412 - 14 July 2011
K Narayan KumarChennai Mathematical InstituteNo
Ganesh NarwaneB. A. R. C12 - 14 July 2011
Natarajan PalaniappanVIT University, VelloreNo
Paritosh PandyaTIFR12 - 14 July 2011
Ramchandra PhawadeInstitute of Mathematical Sciences12 - 14 July 2011
Prajish PrasadIIT Bombay12 - 14 July 2011
M PraveenThe Institute of Mathematical Sciences11 - 14 July 2011
Akila PurusothamanVIT UniversityNo
R. RamanujamIMSc ChennaiNo
Krishna SIIT Bombay11 - 14 July 2011
Akshay SNUS12 - 13 July 2011
prakash saivasanCMI12 - 14 July 2011
Abhisekh SankaranIIT Bombay11 - 15 July 2011
Anil SethIIT Kanpur11 - 15 July 2011
Gautham Shenoy RChennai Mathematical Institute12 - 14 July 2011
S P SureshChennai Mathematical Institute12 - 14 July 2011
Anand YeolekarTRDDC11 - 14 July 2011
Mysore YogeshNational Institute of Engineering,Mysore11 - 14 July 2011
Himanshu ZadeIIIT Hyderabad12 - 14 July 2011