[logic-ml] 国際会議AQIS18投稿のご案内