[FM-India] Call for participation, Fifth Indian SAT+SMT school (Corrected)

[Madhavan Mukund]

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

Date: Thu, 12 Nov 2020 15:44:19 +0530
From: Saurabh Joshi <sbjoshi at cse.iith.ac.in>

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 2020
--------------------------------------------------------------------

  This is a call for participation for the fifth indian SAT+SMT school that
will be held online from Dec 11 to 13, 2020. The theme of this year's
school is novel approaches for and applications of SAT and SMT solvers. To
confirm your 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,
2020.

  The registration is by invitation or by application. Registration of
academics and students is free.   The registration for industry
participants is also free. However, we request 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 registrations on 2nd December, 2020

 We look forward to participation of all those seriously interested in SAT
and SMT solving, both from theoretical and practical perspectives.  For any
queries or clarifications, please send email to
indian.satsmt.school at gmail.com

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 -----