The Second Indian SAT+SMT School
The Second Indian SAT+SMT School
Menu
06-08 December 2017
Mysore, Karnatka
Asia/Kolkata timezone

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. 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

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

Invited Tutorials

Accommodation


Stay

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.

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

Organizers


School Organizers

Support (website, publicity, accounting, etc)

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