『数学基礎論及び歴史分科会』

1. 現在の分科会運営委員は以下の通りです(順不同、敬称略).

  高瀬 正仁、小林龍彦、山下秀康、只木孝太郎、桔梗宏孝、
  安東祐希、依岡輝幸、志村立矢、鈴木登志雄、鹿島亮、
  分科会選出評議委員は、吉信康夫、隈部正博

2. 研究集会のお知らせ
 (1)「RIMS研究集会 証明論と複雑性(PROOF THEORY AND COMPLEXITY 2012)」
     代表者 鈴木登志雄(首都大学東京 理工学研究科)
     開催場所 京都大学数理解析研究所420号室
     開催時期 2012年9月12日午後から14日午後
     ウェブサイト http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html

 (2)第47回 MLG 数理論理学研究集会
     主催者(所属):関 隆宏(新潟大企画戦略本部)
     開催時期:未定 (2012年10月〜1月の間で 2泊3日の日程を予定)

分科会からの上記以外の情報(過去の記録等)については、分科会ホームページ
(数学会のホームページ内「会員および数学研究者用・分科会・数学基礎論および歴史」)
をご覧下さい。

(連絡責任評議委員 隈部正博、放送大学教養学部)