[FOM] CTFM 2014

[Stephen G Simpson]

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