[FM-India] Call for Participation in The First Indian SAT+SMT School

Ashutosh Gupta agupta at tifr.res.in
Tue Aug 30 12:00:53 IST 2016

Dear all,

                    December 4-10th January
                    TIFR, Colaba, Mumbai

  Deadline for application of registration: 30th September

  SAT and SMT solvers are the backbone of a wide range of academic and 
industrial R&D activities today.  These include software and hardware 
verification, logistics, planning, operations research, non-linear 
discrete optimization, model counting, etc.  Recent developments in the 
field suggest that these solvers may soon be leveraged in an even wider 
range of applications that touch almost all aspects of computing. 
Unfortunately, in India, the technical study of these solvers is limited 
to a few individuals/groups. This has hampered the growth of research 
and development in this area, both in the Indian academia and in the 
Indian industry.

  Keeping in view this gap, we are organizing a workshop on SAT+SMT 
solvers that will include a basic course on logic, tutorials on solvers 
by eminent scientists and developers from around the world, and latest 
research and applications centered around these solvers. The first 
edition of this workshop is planned during 4-10 Dec, 2016 at TIFR Mumbai.

  We invite the participation of Ph.D./masters students and academics 
from Indian colleges/universities, and engineers from the industry. Due 
to limited space, we request you to apply for registration before 30th 
September at the following URL.


  We will announce the confirmation of the registration on 15th October. 
For some of the selected students, we will provide support for the 
travel, accommodation, and waive their participation fee.

  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
Ashutosh Gupta, TIFR
SAT+SMT School organizers

More information about the FMIndia mailing list