17-20 Feb 2014
Tokyo, Japan
The fourth conference in the series COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS will take place at the Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014. The theme of the CTFM conference series is the interplay between computability theory and logical foundations of mathematics. The scope includes topics such as Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness, and Computational Complexity. CTFM 2014 will feature special sessions on Reverse Mathematics, Algorithmic Randomness, and Recursion Theory. The deadline for submitting an abstract is January 15. For more information, see http://www.jaist.ac.jp/CTFM/CTFM2014/.