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 indian.satsmt.school@gmail.com .

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
IFSC/RTGS CODE	SBIN0021161

Confirmation of Registration

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