Contact Us
We are taking you to another website now.

EVENT

The Third Indian SAT+SMT School

 
Date
Dec 6, 2018
To
Dec 8, 2018
Add to Calendar 2018-12-06 05:14:00 2018-12-08 05:14:00 Europe/London EVENT The Third Indian SAT+SMT School Hyderabad

Event Details

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. But the technical study of these solvers is limited to a few. This winter school series will focus on SAT + SMT solvers. It 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 on these solvers. 

The technical study of these SAT+SMT solvers is limited to a few. This winter school series will focus on these solvers. It 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 on these solvers. 

TCS Participation

TCS is a Platinum Sponsor of the Third Indian SAT+SMT School        

IIIT Hyderabad, India