**Chi Tat Chong**(National University of Singapore)**Kazuyuki Tanaka**(Tohoku University)**Guohua Wu**(Nanyang Technological University)**Yue Yang**(National University of Singapore)**Keita Yokoyama**(Japan Advanced Institute of Science and Technology)**Dilip Raghavan**(National University of Singapore)**Stephen Simpson**(Pennsylvania State University)**Frank Stephan**(National University of Singapore)**Kazuyuki Tanaka**(Tohoku University) (Chair)**Yue Yang**(National University of Singapore)**Keita Yokoyama**(Japan Advanced Institute of Science and Technology)

General Enquiries: ims(AT)nus.edu.sg

Scientific Aspects Enquiries: tanaka(AT)math.tohoku.ac.jp, matyangy(AT)nus.edu.sg

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.

**Joerg Brendle**(Kobe University)**Zhaokuan Hao**(Fudan University)**Satoru Kuroda**(Gunma Prefectural Women's University)**Yasuhiko Omata**(Tohoku University)**Ludovic Patey**(Centre National De La Recherche Scientifique, Institut Camille Jordan)**NingNing Peng**(Wuhan University of Technology)**Toshio Suzuki**(Tokyo Metropolitan University)**Toshimichi Usuba**(Waseda University)**Takeshi Yamazaki**(Tohoku University)**Keita Yokoyama**(Japan Advanced Institute of Science and Technology)**Thomas Zeugmann**(Hokkaido University)