logic-MLの皆様， 東北大学の中野です． 来たる 9/14-16 に FLOPS 2020 がオンラインで開催されます． （参加費無料です！） https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ 日本時間では少し遅い時間 (20:00-23:30頃) での開催となりますが， 群馬大学の浜名誠先生 MITのAdam Chlipala先生 の招待講演も予定されておりますので，ぜひ参加をご検討ください． 参加費は無料ですが，9/9 21:00までに参加登録をお願いします． -- 中野圭介 東北大学電気通信研究所 ksk at riec.tohoku.ac.jp