[FM-India] SAT+SMT 2019 - Call for participation

Madhavan Mukund madhavan at cmi.ac.in
Thu Oct 3 14:16:11 IST 2019

----- Forwarded message -----

Date: Thu, 3 Oct 2019 09:07:46 +0530
From: Ashutosh Gupta <akg at iitb.ac.in>
To: fmindia at cmi.ac.in
Subject: SAT+SMT 2019 - Call for participation

              (co-located with FSTTCS)
              December 8-10th 2019
                   IIT Bombay
    Early deadline for registration: 30th October

  We are writing to invite you to participate in the fourth Indian SAT+SMT
school that we are organizing at IIT Bombay from Dec 8 to 10th, 2019. Please
go to <http://sat-smt.in> and register yourself. Further details about the
school are available on the website.

  We are also seeking posters by the participants on SAT/SMT solving and
applications. If you are interested, please look for the call at
http://sat-smt.in.  We look forward to such posters from all the participants.
Furthermore, if you are interested in giving a talk at the school, please
write to us.

  This year the early registration fee for Indian students is Rs. 1500. And
fee for the all other participants is Rs. 3,600 per person, including
industry/government labs. Please register yourself as soon as possible.

 We look forward to your participation. Needless to say, we'd be very happy to
clarify any questions you might have in this regard.

Best regards,
Supratik Chakraborty, IIT Bombay
Venkatesh Choppella, IIIT Hyderabad
Ashutosh Gupta, IIT Bombay
Saurabh Joshi, IIT Hyderabad
Kuldeep Meel, NUS Singapore
Subodh Sharma, IIT Delhi

----- End forwarded message -----

More information about the FMIndia mailing list