Dear all, The 7th edition of the Indian SAT+SMT School will be held (in-person) during 15-17 December 2022, at IIT Madras, co-located with FSTTCS 2022. Please visit the webpage (https://sat-smt.in/index.html) for registration and other details. We are also inviting entries for poster presentations and talks, in the broad area of SAT/SMT, through this Google form: https://docs.google.com/forms/d/e/1FAIpQLScpAxed6T04Y2KSyacDMKpElTZQgVmd9dRC... Please submit your entries by Nov. 15th. Note that a print-out of presentation-slides may be used in place of posters during the poster presentation. We look forward to your participation. Needless to say, we'd be very happy to clarify any questions you might have in this regard. Feel free to write to us at indian.satsmt.school@gmail.com <mailto:indian.satsmt.school @gmail.com <indian.satsmt.school@gmail.com>>. Best regards, Supratik Chakraborty, IIT Bombay Ashutosh Gupta, IIT Bombay Saurabh Joshi, SupraOracles Kumar Madhukar, IIT Delhi Kuldeep Meel, NUS Subodh Sharma, IIT Delhi