SMT-COMP 2016 の日程他がいつの間にか公開されていた。  http://smtcomp.sourceforge.net/2016/