The SAT+SMT school is organized each year in an indian city in December since 2016. This year, due to COVID, the school will be fully online. As such, everybody is welcome to attend the school.

The school will take place between December 11 and December 13. Invited speakers include Armin Biere, Martin Brain and Guy Katz.

Registration is free but mandatory to attend the event.