[SMT-LIB] Opportunities in SAT/SMT and releated areas

Clark Barrett barrett at cs.nyu.edu
Tue Jul 21 18:09:13 EDT 2015


Following the conclusion of the 2015 SAT/SMT summer school, I made a first
attempt to collect information about opportunities related to SAT and SMT
and have posted it here: http://www.cs.nyu.edu/~barrett/opportunities.html.

Feel free to share this link, and let me know if you want me to
add/edit/remove anything.

Clark Barrett
Chair, 2015 SAT/SMT Summer School


More information about the SMT-LIB mailing list