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, machine learning, 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. We organize the Indian SAT+SMT school every year in view of this gap. Each edition of the school typically includes a quick introduction to this topic, followed by tutorials on SAT+SMT solvers by eminent scientists and developers from around the world, and latest research and applications centered around these solvers.

The ninth edition of this school will be held during 18-19 August 2024, co-located with SAT 2024 at TCS, Hinjewadi Campus, Pune! We expect the audience to include Ph.D./masters students and academics from colleges/universities, and engineers from the industry.

Organizers

• Supratik Chakraborty, IIT Bombay
• Priyanka Golia, IIT Delhi
• Ashutosh Gupta, IIT Bombay
• Saurabh Joshi, SupraOracles
• Kumar Madhukar, IIT Delhi