### Logic List Mailing Archive

## CTFM 2014: Computability Theory and Foundations of Mathematics

**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/.