[FM-India]10th Indian SAT+SMT School (co-located with FSTTCS 2025) -- Call for participation

Dear all, The 10th edition of the Indian SAT+SMT School will be held during 14-15 December 2025, at BITS Pilani, K K Birla Goa Campus, co-located with FSTTCS 2025. Please visit the webpage (https://sat-smt.in/) for details on invited speakers, registration, etc. The early bird registration for the school closes on November 30th. SAT+SMT School 2025 will also host a session for posters and short talks -- a forum for students, faculty and industry practitioners working in the broad area of SAT/SMT solving to present their research work to the school attendees. Early-stage ideas are more than welcome. We anticipate it to be an excellent opportunity to get feedback, and network with peers and experts in the field. If you are interested in presenting a poster or giving a short talk, please submit an entry (just a title and a short abstract) using this Google form <https://forms.gle/5K7DyDpZtPpMRuM3A>. The submission deadline is Nov. 29th. Accepted entries will be notified by Dec. 2nd. The final selection will be made by the organizing committee based on the availability of slots and relevance to the school. In case you have submitted an entry already, and your decision to register for the school depends on its acceptance, please let us know immediately by writing to Priyanka (pgolia(a)cse.iitd.ac.in) and Madhukar (madhukar(a)cse.iitd.ac.in). 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(a)gmail.com <mailto:indian.satsmt.school@gmail.com &lt;indian.satsmt.school(a)gmail.com&gt;&gt;m>>. Best regards, Supratik Chakraborty, IIT Bombay Priyanka Golia, IIT Delhi Ashutosh Gupta, IIT Bombay Saurabh Joshi, SupraOracles Kumar Madhukar, IIT Delhi Kuldeep S. Meel, Georgia Institute of Technology Aalok Thakkar, Ashoka University