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 email address:
For more pictures, please dowload here.
After the conference, selected papers will be published as a volume in the book series
by World Scientific
Mafanshan Campus of Wuhan University of Technology, 122 Luoshi Road, Wuhan, 430070, China.
Meeting Room: Conference Centre 104 （马房山校区，西园会议中心104）.
The rounte to university, please download route to conference
由机场或高铁站到校详细路线，请下载 来校路线 .
April.03.2019 : Presentation slides are available.
April.03.2019 : Group photo and Abstract Booklet have been uploaded.
October.03.2018 : Opening of registrations
Extend to March 15, 2019 : Deadline for contributed talk applications.
March 15, 2019 : Notification of the result of contributed talk applications.
March 15, 2019 : Registration closes.
March 21-27, 2019 : CTFM2019.