2013年以降のセミナーと研究集会についてはここをご覧ください。

セミナー (2012年以前)

研究集会 (2012年以前)

2012年

• 数理論理学の諸科学への発展と展開
• JAIST Spring School 2012 - Formal Reasoning: Theory and Application -
• Workshop on Proof Theory and Computability Theory 2012 - Philosophical Frontiers in Reverse Mathematics

2011年

• Workshop on Proof Theory and Computability Theory, 21-24 February, Sendai

2010年

• Workshop on Constructive Aspects on Logic and Mathematics, 8-12 March, Kanazawa

2008年

• Workshop on Constructivism: Logic and Mathematics, 26-30 May, Kanazawa

プロジェクト

• 2012年-2015年　EU第7次研究枠組み計画マリー・キュリー・アクション（IRSES）
  Computable Analysis
• 平成23年度-平成25年度　科学研究費補助金　基盤研究（Ｃ）
  構成的集合論における逆数学の研究
• 2009年-2010年　EU第7次研究枠組み計画マリー・キュリー・アクション（IRSES）
  Constructive Mathematics: Proof and Computation
• 平成19年度-平成21年度　科学研究費補助金　基盤研究（Ｃ）
  構成的数学における逆数学の研究
• 平成15年度-平成18年度　科学研究費補助金　基盤研究（Ｃ）
  構成的数学における計算可能性と計算の複雑さに関する研究