We invite researchers and practitioners working in the broad area of SAT/SMT solving to give a short talk or present a poster during the SAT+SMT School 2023. If you are interested, please submit an entry using this Google form.
The submission deadline is
Nov. 26th Dec. 3rd.
Accepted proposals will be notified by Dec. 7th. 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 a proposal already, and your decision to register for the school depends on the acceptance of the proposal, please do let us know immediately.