Registration:

Closed on Friday 3, February.

About the workshop:

The scope of the workshop involves the topics Proof Theory, Computability Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.
This is a successor workshop to Workshop on Proof Theory and Computability Theory (February 2011, Miyagi, Japan).

This workshop is supported by JSPS-FWO bilateral programs and is held as part of the research project Philosophical Frontiers in Reverse Mathematics sponsored by the John Templeton Foundation.
The latter project aims to develop Reverse Mathematics and Nonstandard Analysis to answer several questions about philosophical aspects of Mathematics.

Place:

Harumi Grand Hotel, Tokyo, Japan

Room:

2F "Pearl".

Banquet:

Tuesday 21. Harumi Grand Hotel, 2F "Silver".

Invited speakers:

Ulrich Kohlenbach (Darmstadt University of Technology)

Stephen G. Simpson (Pennsylvania State University)

Organizing Committee:

Kazuyuki Tanaka (Tohoku University)   (chair)

Andreas Weiermann (Ghent University)   (chair)

Toshiyasu Arai (Chiba University)

Naohi Eguchi (Tohoku University)

Hajime Ishihara (Japan Advanced Institute of Science and Technology)

Sam Sanders (Ghent University)

Takeshi Yamazaki (Tohoku University)

Links:

2012 THE ALAN TURING YEAR

JAIST Spring School 2012 (March 5 - 9, 2012. Kanazawa, Japan)