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. Marrying symbolic reasoning with probabilistic reasoning has been the holy grail of AI research since the late 1980s. The success of probabilistic reasoning techniques such as deep learning has reignited interest in pursuing such an integration. The Fifth Edition of Indian SAT-SMT School will focus on algorithmic and engineering advances in SAT/SMT solving and their usage to perform complex automated reasoning tasks such as probabilistic inference, optimization, and diagnosis. The school features prominent speakers from academia and industry from Austria, UK, Israel, and India who have been involved in the development and/or deployment of SAT/SMT solvers in several industry-scale projects worldwide.

The Fifth edition of this school will be held during 11-13 December, 2020 as an online virtual event! We expect the audience to include Ph.D./masters students and academics from Indian colleges/universities, and engineers from the industry.

Organizers

• Supratik Chakraborty, IIT Bombay
• Venkatesh Choppella, IIIT Hyderabad
• Ashutosh Gupta, IIT Bombay
• Saurabh Joshi, IIT Hyderabad
• Kuldeep S. Meel, NUS
• Subodh Sharma, IIT Delhi

Supporting Organizations

• IIT Bombay
• IIT Delhi
• IIIT Hyderabad
• IIT Hyderabad
• National University of Singapore
• The Committee on Probability and Statistics in the Physical Sciences