—————————————————

Computability Theory and Foundations of Mathematics

(CTFM 2018)

http://www.isc.meiji.ac.jp/~random/ctfm2018/

September 13-15, 2018

Surugadai Campus, Meiji University, Tokyo

—————————————————

* Scope

Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof

Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics,

Theory of Randomness, Computational Complexity Theory

* 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)

* Organizing committee

Akitoshi Kawamura (Kyushu University)

Kenshi Miyabe (Meiji University)

* Important dates

Submission of abstracts: August 27, 2018

Registration: August 27, 2018

* Submission

Abstracts of contributed talks should be submitted via easychair.

https://easychair.org/conferences/?conf=ctfm2018

The length of an abstract is limited to one page (A4) including

references.

We welcome your original research work in the scope as well as

proposals and introduction of open problems.

* Registration

Fill in the registration form at

https://goo.gl/forms/iHlXNPpytnmstQ263

* Fees (to be paid in cash at the registration desk)

Registration:

– Regular: 2000 yen

– Student: free

Banquet (evening of Friday September 14):

– Regular: 5000 yen

– Accompanying person: 3000 yen

– Student: 3000 yen

For details, see the following website:

http://www.isc.meiji.ac.jp/~random/ctfm2018/