CTFM2019, Wuhan, China

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 is the ninth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2018 (Surugadai Campus, Meiji University, Tokyo, Japan. 13--15 September, 2018).

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: ctfm2019@gmail.com.

Publication

The Conference Abstracts will be published as a volume in the book series by The Press of Wuhan University of Technology.

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.

.