[FOM] CTFM 2014

Stephen G Simpson simpson at math.psu.edu
Wed Jan 8 15:49:39 EST 2014

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

More information about the FOM mailing list