[FOM] CTFM 2014 -- updated information

[Stephen G Simpson]

The CTFM 2014 web page at http://www.jaist.ac.jp/CTFM/CTFM2014/ now
features a timetable of talks and a 57-page booklet of abstracts.

In case you plan to attend the conference, please note that the
registration deadline is very soon: February 7.  The deadline for
submitting abstracts has passed.

Stephen G Simpson writes:
 > Date: Wed, 8 Jan 2014 15:49:39 -0500
 > 
 > 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/.