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

NameAffiliationAcco Reqd?

Sreejith A VIIT GoaNo
Kumar MadhukarIIT DelhiNo
Prince MathewIIT GoaNo
Keerthan RaviTCS ResearchNo
Saina SunnyIIT GoaNo
Aalok ThakkarAshoka University02 - 05 July 2025