06-08 December 2017 Mysore, Karnatka Asia/Kolkata timezone
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 series on SAT+SMT solvers that will include basic courses on logic, tutorials on solvers by eminent scientists and developers from around the world, and latest research and applications centered around these solvers.
The second edition of this school will be held during 6-8 Dec, 2017 at Infosys Mysore Campus, Karnataka. The school is also part of Mysore park workshops that are funded by Infosys. 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 is quantifiers in the solvers. We will have tutorials on:
Quantified Boolean Formulas
Quantifiers in SMT solvers
Quantified invariants in verification tools
Please find the detailed programme in the left menu.
Venue Akbar Hall, Infosys Leadership Institute, Mysore Infosys Campus, Mysuru, Karnataka
Mysore Infosys campus is located in the north-west part of Mysore/Mysuru city and is approximately 150 kms from Bangalore/Bengaluru. The closest international airport is the Kempegowda International Airport at Bengaluru (BLR), which is about 3-4 hours by road or train.
Full address No. 350, Hebbal Electronics City, Hootagalli, Mysuru, Karnataka 570027
For a detailed guide on how to reach is available under accommodation
Accommodation and food will be organized without additional fee for all participants (courtesy: Infosys)
at the Infosys campus (deatils to follow soon.)
from 5th December to 9th December.
How to Reach
How to get to Mysore Park (Infosys) from Kempegowda International Airport at Bengaluru (BLR)