Workshop on Computability Theory and Foundations of Mathematics 2018
Surugadai Campus, Meiji University, Tokyo, Japan. 13--15 September, 2018
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.
This is one of the CTFM conference series.
This workshop is supported by Meiji University and JSPS KAKENHI Grant Numbers JP16K12399 and JP18H03203.
There are many hotels near the venue. Search at your favorite hotel booking site.
If you do not have any preference, we recommend HOTEL MYSTAYS Ochanomizu CC. It would be convinient to discuss with each othter.
Send a mail to "email@example.com".
Abstracts of contributed talks should be submitted via the workshop page in easychair. The length of every abstract is limited to 1 page of A4 including references.
We welcome your original research work in the scope as well as proposal and introduction of open problems.
The registration can be done by this page.
The registration fee is as follows. The payment is cash-only, and at the registration.
The banquet will be held in the evening on 14th September, 2018. The banquet fee is as follows. The payment is cash-only, and at the registration.