Max-SAT Evaluation 2013 の〆切が2週間延長されて4月13日になったとか。 http://maxsat.ia.udl.cat/importantdates/ ちなみに、自分はGLPKとSCIPのフロントエンドと、あと自作のオモチャを投稿するつもり。