RIMS研究集会「無限組合せ論と強制法理論」 - Logic-ml - fos.kuis.kyoto-u.ac.jp

24 Oct 2016


      みなさま
静岡大学の依岡です。
11月28日（月）から12月1日（木）まで京都大学数理解析研究所で開催されます
RIMS研究集会「無限組合せ論と強制法理論」のプログラムを下記のウェブサイトで
公開しています。
http://www.ipc.shizuoka.ac.jp/~styorio/rims16/
11月30日（水）に懇親会などを予定しています。
懇親会などの予定はウェブサイトで公開します。
みなさまぜひご参加ください。