Information about seminars and workshops held in and after 2013 can be found here.

Seminars (before 2013)

Workshops (before 2013)

2012年

• Mathematical Logic: Development and Evolution into Various Sciences
• 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

Projects

• 2012-2015 EU FP7 Marie Curie Actions (IRSES)
  Computable Analysis
• 2011-2013 JSPS Grant-in-Aid for Scientific Research (C)
  No.23540130
  Reverse Mathematics in Constructive Set Theory
• 2009-2010 EU FP7 Marie Curie Actions (IRSES)
  Constructive Mathematics: Proof and Computation
• 2007-2009 JSPS Grant-in-Aid for Scientific Research (C) No.19500012
  Reverse Mathematics in Constructive Mathematics
• 2003-2006 JSPS Grant-in-Aid for Scientific Research (C) No.15500005
  Computability and Complexity in Constructive Mathematics