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/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
