Re: [kisoron-ml] 論理・言語・代数系と計算機科学の周辺領域」の講演募集、再送、参加申込締切12/4