Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

Online registration form
    Register

 

Enquiries

      General

      Scientific aspects


   

Workshop on Computability Theory and the Foundations of Mathematics
(8 - 12 September 2017)

 

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

 

 Organizing Committee

 

Organizing Committee:


Program Committee:


 Visitors and Participants

 

 

 Overview


This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

CTFM began as a "Workshop on Proof Theory and Computability Theory" and held its first meeting in Japan. Previous venues were Matsushima (2008, 2009), Inawashiro (2010), Sendai (2011), Tokyo (2012). The series assumed the name "Computability and Foundations of Mathematics" at the 2013 meeting which was hosted in Tokyo. CTFM 2017 will be the first time a meeting in the series is held outside Japan.

The previous meetings attracted not only researchers in Japan but also many from around the world. In particular, since 2013, logicians from Singapore have had frequent scientific exchanges with their Japanese counterpart through the platform of the CTFM meetings.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.


 Activities


TBA

 

Invited Speakers

  • Joerg Brendle (Kobe University, Japan)
  • Ali Enayat (University in Gothenburg, Sweden)
  • Makoto Kikuchi (Kobe University, Japan)
  • Ludovic Patey (The University of California, Berkeley, USA)
  • Toshimichi Usuba (Waseda University, Japan)
  • Thomas Zeugmann (Hokkaido University, Japan)

 Venue

 

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

top
Best viewed with IE 7 and above