2015年5月

1
数学基礎論および歴史分科会
1. 今年度の評議員は池田宏一郎，鈴木登志雄，運営委員は倉田俊彦，真島秀
行，坪井明人，三好博之，知沢清之，黒田覚，酒井拓史，田中義人，田村
誠，河村彰星の各氏です．
2. 数学基礎論サマースクールの開催予定
• テーマ非古典論理
日程：2015 年 8 月 18 日–21 日
場所：神戸大学
世話人：菊池誠（神戸大）
3. 研究集会のお知らせ
• 証明論研究集会/記号論理と情報科学研究集会 (SLACS 2015)
日程：2015 年 12 月 14 日–16 日
場所：南山大学理工学部 (名古屋キャンパス)
世話人：佐々木克巳（証明論，南山大），倉田俊彦（SLACS，法政大）
（連絡責任評議員池田宏一郎，法政大学経営学部）
1

Download Report