MaxSAT Evaluation 2017 http://mse17.cs.helsinki.fi/ : 色々あったけど、結局主催者が代わって、今年も開催されることになったのね。 6/15日が締切と。 投稿出来るかな……?