Call for poster presentation at SAT+SMT 2024

We invite students, faculty and industry practitioners working in the broad area of SAT/SMT solving to present a poster on 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, please submit an entry (just a title and a short abstract) using this Google form.

The submission deadline is July 26th.

Accepted entries will be notified by July 29th. 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 the acceptance of the poster, please let us know immediately by writing to Priyanka (pgolia@cse.iitd.ac.in) and Madhukar (madhukar@cse.iitd.ac.in).