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

NameAffliationAcco Reqd?

Purushothaman ADAIICTNo
Sreejith A VIMSc15 - 17 July 2010
Supratik ChakrabortyIIT Bombay14 - 17 July 2010
Aravindan ChandraboseSSN School of Advanced Software Engineering, Chennai15 - 17 July 2010
Bireswar DasIIT GandhinagarNo
Radhakrishnan DelhiBabuAnna University14 - 18 July 2010
Ankur DeshwalIIT Kanpur15 - 17 July 2010
Srikrishnan DivakaranDA-IICTNo
Deepak DSouzaIndian Institute of Science15 - 17 July 2010
Ratnik GandhiDA-IICTNo
Shubham JainDA-IICT GandhinagarNo
Narayan Kumar KChennai Mathematical Institute15 - 17 July 2010
Surendra KalagaraRIET Rajahmundry 15 - 17 July 2010
Vikas KumarDAIICTNo
Naveen KumarDAIICTNo
Kamal LodayaIMScNo
Madhavan MukundChennai Mathematical Institute15 - 17 July 2010
Rahul MuthuDA-IICTNo
Ghanshyam ParmarDAIICTNo
Abhay ParvateIMSc, ChennaiNo
Ramchandra PhawadeIMSc14 - 18 July 2010
Jayaraj PoroorAmrita Vishwa Vidyapeetham14 - 18 July 2010
Sanjiva PrasadIIT Delhi15 - 17 July 2010
Venkatesh RTRDDC14 - 17 July 2010
N. RajaTIFR15 - 17 July 2010
Manoj RautDAIICTNo
Benoit RazetTIFR14 - 18 July 2010
Prakash SaivasanChennai Mathematical Institute14 - 17 July 2010
Rohit SinghDAIICTNo
S P SureshChennai Mathematical Institute15 - 17 July 2010
Aditya TatuDAIICTNo
Krishna TejaDhirubhai AmbaniNo