[logic-ml] RIMS研究集会「無限組合せ論と強制法理論」

Teruyuki YORIOKA styorio at ipc.shizuoka.ac.jp
Mon Oct 24 16:02:39 JST 2016


みなさま

静岡大学の依岡です。
11月28日(月)から12月1日(木)まで京都大学数理解析研究所で開催されます
RIMS研究集会「無限組合せ論と強制法理論」のプログラムを下記のウェブサイトで
公開しています。

http://www.ipc.shizuoka.ac.jp/~styorio/rims16/

11月30日(水)に懇親会などを予定しています。
懇親会などの予定はウェブサイトで公開します。

みなさまぜひご参加ください。


More information about the Logic-ml mailing list