[logic-ml] MOL 12 Tokyo - Deadline extended