数学基礎論および歴史分科会 会員の皆様， 連絡責任評議員の池田です． 秋の学会（２０１５年９月１３日−１６日，京都産業大学）のプログラムが確定 しましたので、お知らせいたします。 http://mathsoc.jp/meeting/kyoto-sangyo15sept/program/ なお，秋の学会では，本分科会に関連する特別講演として、 ・企画特別講演（９月１５日１３：００−１４：００） 菊池誠氏（神戸大）不完全性定理：形式化された数学の限界と可能性 ・分科会特別講演（９月１５日１６：１５−１７：１５） 根元多佳子氏（北陸先端大）二階算術における無限ゲームの決定性 の２講演が予定されています。どうぞ奮ってご参加ください。 池田宏一郎（連絡責任評議員，法政大学）