IIT Bombay Campus, by , under Creative Commons license.
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.
Registration Fees:
| Indian Students | All Others | |
| Early | 1,500 | 3,600 |
| Regular/On-site | 1,800 | 4,000 |