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
Please complete the Online
- If you do not have an invitation or referral yet, but wish to attend
Please apply for an invitation by filling the
Form. When filling the form, indicate your
research interests and explain why you wish to
attend the school. 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.
||International Institute of Information Technology, Hyderabad
|Account Type (Current, SB, Cash/Credit)
|MICR Code (9 digit numeric) of the Branch
Confirmation of Registration
Participants will be informed about their
registration status by
20th October 2018.