Concept
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, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.
History
CTFM series has been headed by Kazuyuki Tanaka (Tohoku university). Previous meetings, held as "Workshop on Proof Theory and Computability Theory", have taken place in Matsushima (2008, 2009), Inawashiro (2010).
Workshop on Proof Theory and Computability Theory 2011
Date: 21-24 February 2011, Akiu Spa Hotel Iwanumaya, Sendai, Japan
Workshop on Proof Theory and Computability Theory 2012
Date: 20-23 February 2012, Harumi Grand Hotel, Tokyo, Japan
Computability Theory and Foundation of Mathematics 2013
Date: 18 - 20 February 2013, Tokyo Institute of Technology, Tokyo, Japan
Computability Theory and Foundation of Mathematics 2014
Date: 17 - 20 February 2014, Tokyo Institute of Technology, Tokyo, Japan
Computability Theory and Foundation of Mathematics 2015
Date: 7 - 11 September 2015, Tokyo Institute of Technology, Tokyo, Japan
Computability Theory and Foundation of Mathematics 2016
Date: 20 - 21 September 2016, Waseda University, Tokyo, Japan
Computability Theory and Foundation of Mathematics 2017
Date: 8 - 12 September 2017, National University of Singapore, Singapore
Computability Theory and Foundation of Mathematics 2018
Date: 13 - 15 September 2018, Surugadai Campus, Meiji University, Tokyo, Japan
Contact
Kazuyuki Tanaka. Mathematical Institute, Tohoku University, Japan.
Keita Yokoyama. Japan Advanced Institute of Science and Technology, Japan.