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.

CTFM series has been headed by Kazuyuki Tanaka (Tohoku University). Previous meetings were held as “Workshop on Proof Theory and Computability Theory” and have taken place in Matsushima (2008, 2009) and Inawashiro (2010).

History

• Computability Theory and the Foundations of Mathematics 2019.
  21 - 23 March 2019, Wuhan University of technology, Wuhan, China. See: CTFM2019
• Computability Theory and the Foundations of Mathematics 2018.
  Surugadai Campus, Meiji University, Tokyo, Japan. 13 - 15 September, 2018. See: CTFM2018
• Computability Theory and the Foundations of Mathematics 2017.
  8 - 12 Sep 2017, National University of Singapore, Singapore. See: CTFM2017
• Computability Theory and the Foundations of Mathematics 2016.
  20 - 21 September 2016, Waseda University, Tokyo, Japan See: CTFM2016
• Computability Theory and the Foundations of Mathematics 2015.
  7 - 11 September 2015, Tokyo Institute of Technology, Tokyo, Japan. See: CTFM2015
• Computability Theory and the Foundations of Mathematics 2014.
  17 - 20 February 2014, Tokyo Institute of Technology, Tokyo, Japan. See: CTFM2014
• Computability Theory and the Foundations of Mathematics 2013.
  18 - 20 February 2013, Tokyo Institute of Technology, Tokyo, Japan. See: CTFM2013
• Proof Theory and Computability Theory 2012.
  20 - 23 February 2012, Harumi Grand Hotel, Tokyo, Japan. See: WOPC2012
• Proof Theory and Computability Theory 2011.
  21 - 24 February 2011, Akiu Spa Hotel Iwanumaya, Sendai, Japan. See: WOPC2011