Registration for Attending SAT+SMT 2018

SAT+SMT 2018 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 2018 SAT+SMT winter school is by invitation or referral only.

If you already have an invitation or referral
Registration for Faculty and Students is closed now. Industry participants who are willing to register may enquire at .
Your application will be evaluated based on how closely your research interests match the goals of the school. You will then be informed if your application is successful or not. Since we have limited space and other resources, we are unable to promise acceptance to all those who apply.

If your registration is accepted by the organizers, and you are an industry/government lab participant, you will need to pay a registration fee of Rs. 11,800/- per person (Rs. 10,000 + 18% GST /-). This amount is intended for supporting the organization of this event. Payment of registration fee may be made by Demand Draft in favour of the International Institute of Information Technology, Hyderabad. The bank account details are as follows:
Name of the Bank State Bank of India
Address of the Bank IIIT campus, Gachibowli, Hyderabad-32.
Account Name International Institute of Information Technology, Hyderabad
Account Number 52081085019
Account Type (Current, SB, Cash/Credit) Current
Branch name Gachibowli
MICR Code (9 digit numeric) of the Branch 500002433
Branch code 21161
Confirmation of Registration

Participants will be informed about their registration status by 25th October 2018.