Formal Methods Update meeting 2009: Registered Participants
(email ids are not displayed)

NameAffliationAcco Reqd?

Sreejith A VIMSc12 - 15 July 2009
SWATI AHUJAIIT Roorkee12 - 16 July 2009
A BaskarChennai Mathematical Institute11 - 16 July 2009
GOUTAM BISWASIIT Kharagpur12 - 15 July 2009
Raghavendra K. R.Indian Institute of Science12 - 15 July 2009
Astrid KiehnIndraprastha Institute of Information Technology - Delhi12 - 16 July 2009
Narayan Kumar KrishnanChennai Mathematical Institute12 - 16 July 2009
Kamal LodayaIMSc12 - 16 July 2009
Kumar MadhukarCMI12 - 15 July 2009
Lakshmi ManasaIIT Bombay12 - 16 July 2009
Ravindra MettaTRDDC12 - 15 July 2009
Madhavan MukundCMI12 - 15 July 2009
Swathy PendyalaIIIT-Hyderabad12 - 16 July 2009
ramchandra phawadeimsc12 - 15 July 2009
M. PraveenThe Institute of Mathematical Sciences12 - 15 July 2009
Venkatesh RTCS12 - 15 July 2009
DelhiBabu RadhakrishnanAnna Universuty12 - 16 July 2009
Anil SethIIT Kanpur12 - 15 July 2009
S P SureshChennai Mathematical Institute12 - 15 July 2009
Sheerazuddin SyedIMSc12 - 15 July 2009