Dear all, The 7th edition of the Indian SAT+SMT School will be held during 15-17 December 2022, at IIT Madras, co-located with FSTTCS 2022. This will be an in-person event, for which you may register here: https://sat-smt.in/registration.html We invite entries for poster presentations and talks in the broad area of SAT/SMT. If you are interested, please let us know by submitting this Google form: https://docs.google.com/forms/d/e/1FAIpQLScpAxed6T04Y2KSyacDMKpElTZQgVmd9dRC... The deadline for this is Nov. 15th (anywhere on earth). 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