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.
If you have any questions, please contact us via e-mail at: firstname.lastname@example.org
Application due date: September 15, 2018.
Shortlisting of participants: October 10, 2018.
Registration deadline: November 1, 2018.
SAT+SMT school: December 8, 2018.