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

NameAffiliationAcco Reqd?

Abdullah Abdul KhadirChennai Mathematical Institute16 - 19 July 2017
Samar AgnihotriIIT MandiNo
Shiraj AroraIIT Hyderabad16 - 19 July 2017
soumyadip bandyopadhyayBits goa16 - 19 July 2017
Himalya BansalLDRA Technology Pvt Ltd16 - 19 July 2017
Harshit BishtIIT Kanpur16 - 19 July 2017
Jeya Mala DThiagarajar College of Engineering16 - 19 July 2017
Deepak DSouzaIndian Institute of Science16 - 18 July 2017
Ashish Kumar DwivediNIT Rourkela16 - 18 July 2017
Suganya GVIT University16 - 19 July 2017
Astrid KiehnIIT MandiNo
SHRAWAN KUMARTCS Research & Innovation16 - 19 July 2017
Kamal LodayaIMSc16 - 19 July 2017
Kumar MadhukarTRDDC16 - 19 July 2017
Madhavan MukundCMI16 - 19 July 2017
Paritosh PandyaTIFR16 - 19 July 2017
Mohnish PattathurajanIIT MandiNo
Souradyuti PaulIIT Gandhinagar16 - 19 July 2017
Venkatesh RTCS Research16 - 18 July 2017
Dr. Dhavleesh RattanPunjabi University, Patiala16 - 19 July 2017
Ulka ShrotriTCS Research16 - 18 July 2017
Gurpreet SinghPunjabi University, Patiala16 - 19 July 2017
Vaishnavi SundararajanCMI16 - 19 July 2017
S P SureshChennai Mathematical Institute16 - 19 July 2017
Anand YeolekarTRDDC16 - 19 July 2017