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

NameAffiliationAcco Reqd?

Arun AdiththanIndependentNo
Goutam AnandIISER-TVM18 - 21 July 2012
MIDHUN CUG15 - 21 July 2012
Aravindan ChandraboseSSN College of Engineering, ChennaiNo
Deepak D'SouzaIISc, Bangalore19 - 20 July 2012
Shibashis GuhaIIT Delhi18 - 21 July 2012
Senthilkumar JagatheesanDCS, CEG, Anna University, ChennaiNo
Sampath JayaramIIScNo
Lakshmanan KVIT UniversityNo
vinay kanthNIT Warangal18 - 21 July 2012
Prateek KarandikarCMINo
Foram LakhaniBITS PilaniNo
Kamal LodayaIMScNo
SHANKARAN MSTUDENT18 - 21 July 2012
KARTHIKEYAN M GNIT-PUDUCHERRY18 - 21 July 2012
Kumar MadhukarTRDDCNo
Bastien MaubertUniversité de Rennes 1No
Ravindra MettaTRDDCNo
Bindumadhaba MohantyInstitute Of Mathematics and Application18 - 21 July 2012
Suvam MukherjeeIISc, BangaloreNo
Madhavan MukundCMINo
K Narayan KumarCMINo
Rajdeep NiyogiIIT RoorkeeNo
Abhay ParvateIMScNo
Ramchandra Phawade IMScNo
Indhumathi RamanVIT UniversityNo
R RamanujamIMScNo
Prakash SCMINo
Uma Maheswari SadasivamSSN College of EngineeringNo
Gautham Shenoy RChennai Mathematical InstituteNo
Mandayam SrivasIndependentNo
S P SureshChennai Mathematical InstituteNo
Ramanathan Thinniyam SrinivasanIMSc/CMINo
richa vermaIIT KanpurNo