Local Arrangements


Co-located Meetings


Tokyo Institute of Technology, Tokyo, Japan, February 18 - 20, 2013

Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.
This is a successor workshop to Workshop on Proof Theory and Computability Theory 2012 - Philosophical Frontiers in Reverse Mathematics (February 20 - 23, 2012, Tokyo, Japan).

CTFM acknowledges support from the research project Philosophical frontiers in Reverse Mathematics granted by John Templeton Foundation and partial support from JSPS-FWO Bilateral Programs, Joint Research Projects between Tohoku University and Ghent University.

Invited Speakers

Toshiyasu Arai (Chiba University)
Chi Tat Chong (National University of Singapore)
Helmut Schwichtenberg (LMU Munich)
Stephen G. Simpson (Pennsylvania State University)
Yang Yue (National University of Singapore)
Wu Guohua (Nanyang Technological University)

Programme Committee

Toshiyasu Arai (Chiba)
Naohi Eguchi (Tohoku)
Hajime Ishihara (JAIST)
Ryo Kashima (Tokyo Institute of Technology)
Sam Sanders (Ghent)
Kazuyuki Tanaka (Tohoku, Co-chair)
Andreas Weiermann (Ghent, Co-chair)
Takeshi Yamazaki (Tohoku)
Keita Yokoyama (Tokyo Institute of Technology)

Local Organising Committee

Ryo Kashima (Tokyo Institute of Technology, Chair)
Keita Yokoyama (Tokyo Institute of Technology)

Organising Committee

Naohi Eguchi (Tohoku)
Sam Sanders (Ghent)
Kazuyuki Tanaka (Tohoku, Chair)

Back to Page Top





Powered by Pondt