Re: [logic-ml] SLACS 2020 講演・参加募集のお知らせ