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).