About SAT + SMT

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 of this gap, we are organizing a winter school series on SAT+SMT solvers. This school will include basic courses on logic, and tutorials on solvers by eminent scientists and developers from around the world, and latest research and applications centered around these solvers.

The third edition of this school will be held during 6-8 December, 2018 at the International Institute of Information Technology, Hyderabad (IIIT Hyderabad). We expect the audience to include Ph.D./masters students and academics from Indian colleges/universities, and engineers from the industry.

The theme of the year's school is encodings in the solvers.

Announcements

• Zip file of slides from all invited speakers
• Buses leave from Gachibowli, Outer ring road to RGIA(Rajiv Gandhi International Airport) at times: 4.00, 4.45, 5.15, 5.45, 6.00, 6.15, 6.30, 7.00, 7.15, 8.00, 8.15, 8.30, 8.45, 9.00, 9.15, 9.30, 9.45, 10.00, 10.15, 10.30, 11.00, 11.30, 12.00, 13.00, 14.00, 14.15, 15.00, 15.30, 15.45, 16.00, 16.15, 16.30, 16.45, 17.00, 17.15, 17.30, 17.45, 18.00, 18.15, 18.30, 18.45, 19.00, 19.15, 19.30, 19.45, 20.00, 20.15, 20.30, 20.45, 21.00, 21.15, 21.30, 21.45, 22.30, 22.45, 23.00, 23.15, 23.30. The bus fare is Rs. 212.

  One can reach Outer ring road by taking an auto / Uber right outside campus.

  Link to the bus timings website .
• Day 3 exercises by Pramod Subramanyan
• Day 2 exercises (Note: zipped)
• Installation of software for SAT/SMT school

Organizers

• Supratik Chakraborty, IIT Bombay
• Venkatesh Choppella, IIIT Hyderabad
• Ashutosh Gupta, IIT Bombay
• Saurabh Joshi, IIT Hyderabad
• Subodh Sharma, IIT Delhi