数学基礎論および歴史分科会 会員の皆様，

連絡責任評議員の池田です．

秋の学会（２０１５年９月１３日−１６日，京都産業大学）のプログラムが確定 しましたので、お知らせいたします。

http://mathsoc.jp/meeting/kyoto-sangyo15sept/program/

なお，秋の学会では，本分科会に関連する特別講演として、

・企画特別講演（９月１５日１３：００−１４：００） 　菊池誠氏（神戸大）不完全性定理：形式化された数学の限界と可能性 ・分科会特別講演（９月１５日１６：１５−１７：１５） 　根元多佳子氏（北陸先端大）二階算術における無限ゲームの決定性

の２講演が予定されています。どうぞ奮ってご参加ください。

池田宏一郎（連絡責任評議員，法政大学）