ACL2の日程発表いつだろう？
9月のアウェイの飛行機やホテル早く抑えたいんやけど。