SATのテクニックを取り入れたSCIP http://scip.zib.de/ というMIPソルバがあるのですが、その開発グループのキーメンバによるチュートリアルが開催されるそうです。もし興味がありましたら是非ご参加ください。