Registration for Attending SAT+SMT 2021

SAT+SMT 2021 is targeted towards those working in the area of formal methods and verification. These include students and faculty from academia and industry professionals.

Due to COVID, we have decided to organize the 6th Indian SAT+SMT School virtually. In view of the reduced costs due to virtual organization, we have decided not to charge any registration fee from participants.

Registration is free but mandatory to receive information about links to the sessions. Please register by filling in this registration form .

For those who do not register, non-interactive YouTube links may be provided for the talks and tutorials.