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 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 school will be held during 4-10 Dec, 2016 at TIFR Mumbai
. We expect the audience to include Ph.D./masters students and academics from Indian colleges/universities, and engineers from the industry.
A summary of the programme of the school.
4-6 Dec: Lectures on the basics of propositional logic, first-order logic, and logical theories
7-9 Dec: Invited tutorials on SMT solvers, an application of the solvers, and SAT solvers
9-10Dec: Talks by researchers who are using or working on SMT solvers
Please find the detailed programme in the left menu.