Registration for Attending SAT+SMT 2019

SAT+SMT 2019 is targeted towards those working in the area of formal methods and verification in India. These include students and faculty from academia and industry professionals in India. Participation in the 2019 SAT+SMT winter school is by invitation or referral only.