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
2010
2008
Projects

20122015 EU FP7 Marie Curie Actions (IRSES)
Computable Analysis 
20112013 JSPS GrantinAid for Scientific Research (C)
No.23540130
Reverse Mathematics in Constructive Set Theory  20092010 EU FP7 Marie Curie Actions (IRSES)
Constructive Mathematics: Proof and Computation  20072009 JSPS GrantinAid for Scientific Research (C) No.19500012
Reverse Mathematics in Constructive Mathematics  20032006 JSPS GrantinAid for Scientific Research (C) No.15500005
Computability and Complexity in Constructive Mathematics