IIT Bombay, India
Co-located with FSTTCS 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.
Indian Students | All Others | |
Early | 1,500 | 3,600 |
Regular/On-site | 1,800 | 4,000 |