[FOM] CTFM 2014

Stephen G Simpson simpson at math.psu.edu
Wed Jan 15 16:56:08 EST 2014

The deadline for submission of abstracts has been extended to January
22.  Also, online registration will be available starting January 20.

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

More information about the FOM mailing list