Max-SAT Evaluation 2016 http://maxsat.ia.udl.cat/importantdates/ の〆切が3/31から4/15に延びたっぽい。 最近、Courseraのガロア理論のコースや花粉症や仕事やその他諸々で 完全にオーバーフローしてて、 全然準備できていなかったので、ちょっと助かる…… まあ、延長されたから時間を取れるかというとそうでもないかもだけれど……