[logic-ml] Preliminary announcement of CTFM2018

[Kenshi Miyabe]

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

-- 
Kenshi Miyabe
email (research) : research at kenshi.miyabe.name
email (other) : miyabe at meiji.ac.jp
Associate Professor
Department of Mathematics
School of Science and Technology
Meiji University
Tel: +81-44-934-7460