[logic-ml] Sendai Logic School 2014 at Tokyo Tech