Dear all,
Let me announce CTFM 2018.
Workshop on Computability Theory and Foundations of Mathematics 2018
Date: 13--15 September, 2018 The venue: Surugadai Campus, Meiji University, Tokyo,
Invited Speakers
George Barmpalias (Chinese Academy of Sciences) Matthew de Brecht (Kyoto University) Bjorn Kjos-Hanssen (University of Hawaii at Manoa) Tomoyuki Miyaji (Meiji University) Igor Potapov (University of Liverpool) Liang Yu (Nanjing University)
Organising Committee
Akitoshi Kawamura (Kyushu University) Kenshi Miyabe (Meiji University)
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.
We will call for the contributed talks later.
For other information, see the following website: http://www.isc.meiji.ac.jp/~random/ctfm2018/
best,
Kenshi Miyabe