Formal Methods Update Meeting 2025: Registered Participants
(email ids are not displayed)
Name
Affiliation
Acco Reqd?
Sreejith A V
IIT Goa
No
Kumar Madhukar
IIT Delhi
No
Prince Mathew
IIT Goa
No
Keerthan Ravi
TCS Research
No
Saina Sunny
IIT Goa
No
Aalok Thakkar
Ashoka University
02 - 05 July 2025