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)
