[FM-India] Call for participation for the fifth Indian SAT+SMT school

[Madhavan Mukund]

----- Forwarded message from Saurabh Joshi <sbjoshi at cse.iith.ac.in> -----

Date: Wed, 11 Nov 2020 17:12:13 +0530
From: Saurabh Joshi <sbjoshi at cse.iith.ac.in>
To: fmindia at cmi.ac.in
Subject: Call for participation for the fifth Indian SAT+SMT school

----------------------------------------------------
        THE FIFTH INDIAN SAT+SMT SCHOOL
                December 11-13th 2020, ONLINE
                http://sat-smt.in
   Deadline for registration: 30th November
----------------------------------------------------

   This is a call to participate in the second indian SAT+SMT school
that we are planning to organize online from Dec 11 to 13, 2020. The
theme of the year is novel approaches for and applications of SAT and
SMT solvers. To confirm the participation, please go to <link:
http://sat-smt.in> and register yourself. Further details about the
school are available on the website. We request you to apply for the
registration before 30th November.

   The registration is by invitation or by application. Registration of
academics and students is free.   The registration fee for industry
participants is also free. However, we request the industry participants
to contribute Rs. 10,000 to Indian Association for Research in Computing
Sciences (IARCS) <link:http://www.iarcs.org.in>, the parent body under
whose aegis this school is being conducted. This amount is intended for
sponsoring this and similar events. Please contact the organizers for
the bank details of donation.

  We will announce the confirmation of the registrations on 2nd December.

  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
Subodh Sharma, IIT Delhi



------------------------------
Saurabh Joshi
Assistant Professor
B-514, Department of CSE
IIT Hyderabad
https://sbjoshi.github.io

-- 


Disclaimer:- The information contained in this electronic message and any 
attachments to this message are intended for the exclusive use of the 
addressee(s) and may contain proprietary, confidential or privileged 
information. If you are not the intended recipient, you should not 
disseminate, distribute or copy this email. Please notify the sender 
immediately and destroy all copies of this message and any attachments. The 
views expressed in this E-mail message (including the enclosure/(s) or 
attachment/(s) if any) are those of the individual sender, except where the 
sender expressly, and with authority, states them to be the views of IIT 
Hyderabad. Before opening any mail and attachments please check them for 
viruses, malware, and the sender email address is indeed from IITH domain. 
IITH does not accept any liability for malware infected mails.


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