The Second Indian SAT+SMT School
The Second Indian SAT+SMT School
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.


Akbar Hall,
Infosys Leadership Institute (called "ILI" by locals),
Building Number 10,
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

Invited Tutorials


19:30 - 22:00
Floating Restaurant

Short Presentation Details

  • M.K. Srivas (Loop Acceleration for C Programs)
  • Saurabh Joshi (Gerneralized Totalizer Encoding for Pseudo-Boolean Constraints)
  • Shetal Shah (Towards Parallel Boolean Functional Synthesis)
  • Divyesh Unadkat (Verifying Array Manipulating Programs by Tiling)
  • Charles M Babu (Loop Acceleration for C Programs in the Presence of Overflows)
  • Manasij Mukherjee (Interprocedural Bounded-Model-Checking (BMC) with context sensitive function summaries)



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.

Mysore Tourism

For tour packages contact
Bharath International Travels - Mysore
email :
ph : +91 9845120021

Important Dates

Opening of registration : 25th September, 2017
Application deadline : 20th October, 2017(Industry registration is still open!)
Acceptance announcement : 22nd October, 2017
School dates : 6-8 December, 2017


School Organizers

Support (website, publicity, accounting, etc)

  • Shoba Jagtap, TIFR
  • Sanjana Singh, IIT Delhi
  • Infosys Team


Reach Us


Emergency Contacts

Infosys Park : +91 8212404101
Ashutosh Gupta : +91 9869503024
Supratik Chakraborty : +91 9820103723