The 9th International Conference on Computability Theory and Foundations of Mathematics
March 21-27, 2019. Wuhan University of Technology, Wuhan, China.
Computability Theory and Foundations of Mathematics (CTFM) aims
to develop computability theory and logical foundations of Mathematics.
The scope involves the topics Computability Theory, Reverse Mathematics,
Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of
Mathematics, Constructive Mathematics, Theory of Randomness and
Computational Complexity Theory.
This conference is partially supported by National Natural Science Foundation of China and Wuhan University of Technology.
Please send all concerns and questions to the CTFM2019 email address:
After the conference, selected papers will be published as a volume in the book series
by World Scientific
Important Dates (Will be Updated)
October.03.2018 : Opening of registrations
January 31, 2019 : Deadline for contributed talk applications.
February 11, 2019 : Notification of the result of contributed talk applications.
February 25, 2019 : Deadline for early registration.(After this date, the registration fee will no longer be accepted by bank transfer. )
March 15, 2019 : Registration closes.
March 21-27, 2019 : CTFM2019.