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 email address: pengn@whut.edu.cn.

For more pictures, please dowload here.

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

.

Conference Venue

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

由机场或高铁站到校详细路线，请下载 来校路线 .

News

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.

.