IARCS Verification Seminar Series
Upcoming Talk
About
Past Talks
Coming Soon
Organizers
Contact
Deepak D'Souza, IISc
Akash Lal, Microsoft Research
Kumar Madhukar, IIT Delhi
B Srivathsan, CMI