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

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

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

Programme


19:00
20:00
21:00
22:00
Arrival
Dinner
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


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.

Mysore Tourism



For tour packages contact
Bharath International Travels - Mysore
email : BIT_Mys@infosys.com
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

Organizers


School Organizers

Support (website, publicity, accounting, etc)

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

Sponsors



Reach Us

Email: indian.satsmt.school@gmail.com


Emergency Contacts

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