1 Sep
2020
1 Sep
'20
8:08 a.m.
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までに参加登録をお願いします． -- 中野圭介 東北大学電気通信研究所 [email protected]