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

NameAffiliationAcco Reqd?

Vinay AroraThapar University, Patiala26 - 28 July 2013
G. AthithanDRDONo
Ansuman BanerjeeIndian Statistical Institute26 - 28 July 2013
A BaskarIMSc26 - 28 July 2013
Supratik ChakrabortyIIT Bombay26 - 28 July 2013
Alakh ChopraIIIT DelhiNo
Priyanka DarkeTata Consultancy Services26 - 29 July 2013
Deepak DSouzaIISc Bangalore26 - 28 July 2013
Shibashis GuhaIIT DelhiNo
Akshar GuptaBITS Goa.No
Raju HalderIIT Patna26 - 28 July 2013
Tushant JhaInternational Institute of Information Technology, HyderabadNo
Raghavendra K. R.IIIT Bangalore26 - 28 July 2013
Aditya KanadeIndian Institute of Science27 - 28 July 2013
Vini KanvarIIT Bombay27 - 28 July 2013
Hrishikesh KarmarkarIIT Bombay26 - 29 July 2013
Uday KhedkerIITB26 - 28 July 2013
Astrid KiehnIIIT DelhiNo
Kamal LodayaIMSc26 - 28 July 2013
Kumar MadhukarTRDDC26 - 28 July 2013
Khushraj MadnaniIIT Bombay26 - 29 July 2013
Mihir MehtaSoftware Engineering Labs, SamsungNo
Ravindra MettaTRDDC26 - 28 July 2013
Suvam MukherjeeIndian Institute of Science, Bangalore26 - 29 July 2013
Madhavan MukundCMI26 - 28 July 2013
Mangala Gowri NandaIBM Research, IndiaNo
chinmay narayanIIT DelhiNo
K Narayan KumarCMI26 - 28 July 2013
Aditya NoriMicrosoft Research India26 - 28 July 2013
Paritosh PandyaTIFR26 - 28 July 2013
Sathya PeriIIT Patna26 - 28 July 2013
Rajesh PillaiDRDONo
Venkatesh RTCS26 - 29 July 2013
K V RaghavanIndian Institute of Science, Bangalore26 - 28 July 2013
N. RajaTIFR26 - 29 July 2013
Dhavleesh RattanBBSB Engg. College, Fatehgarh Sahib26 - 28 July 2013
Krishna SIIT Bombay27 - 28 July 2013
Akshay SIIT BombayNo
Prakash SaivasanChennai Mathematical Institute25 - 28 July 2013
Abhisekh SankaranIIT Bombay26 - 29 July 2013
Gautham Shenoy RChennai Mathematical Institute26 - 28 July 2013
ULKA SHROTRITCS26 - 29 July 2013
Pushpendra SinghIIIT-DelhiNo
Mandayam SrivasChennai Mathematical Institute26 - 28 July 2013
B SrivathsanChennai Mathematical Institute26 - 28 July 2013
Vaishnavi SundararajanChennai Mathematical Institute26 - 28 July 2013
S P SureshChennai Mathematical Institute26 - 28 July 2013
Rajkumar TekchandaniThapar University Patiala26 - 28 July 2013
Ashutosh TrivediIIT Bombay26 - 28 July 2013