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

[Clark Barrett]

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