Please note that this newsitem has been archived, and may contain outdated information or links.
10 - 12 December 2021, Sixth Indian SAT+SMT School, Virtual
Date: 10 - 12 December 2021
Location: Virtual
Deadline: Friday 3 December 2021
The theme of this year's school is the advancement of SAT and SMT solvers and their novel use in mathematical proofs and trustworthy AI. Registration of academics and students is free. We look forward to participation of all those seriously interested in SAT and SMT solving, both from theoretical and practical perspectives.
For more information, see
http://sat-smt.in
or contact indian.satsmt.school at gmail.com.
Please note that this newsitem has been archived, and may contain outdated information or links.