[logic-ml] CFP: PPL 2016 カテゴリ2-4