Re: [logic-ml] SLACS2021 (8月10日~11日) 講演・参加募集のお知らせ