[logic-ml] 【講演募集の延長】SLACS 2014 / 2014 Nonstandard Analysis Symposium