[logic-ml] ICFP 2011 の締め切りについて