\n

\n Computability Theory and Foundations of Mathe matics (CTFM)\n aims to develop computabili ty theory and logical foundations\n of Math ematics. The scope involves the topics Computabili ty\n Theory, Reverse Mathematics, Nonstanda rd Analysis, Proof\n Theory, Set Theory, Ph ilosophy of Mathematics, Constructive\n Mat hematics, Theory of Randomness and Computational C omplexity\n Theory.\n

\n \n \nFor more information, see\n http://www.sendailogic.com/CTFM2016/\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/749
1/20-21-September-2016-Sixth-conference-on-Computa
bility-Theory-and-Foundations-of-Mathematics-CTFM-
2016-Tokyo-Japan
END:VEVENT
END:VCALENDAR
\n The Programme Committee cordially invites all res earchers\n to submit their\n papers for presentation.\n Submission deadline for presentations:\n August 31, 2016.\n < /p>\n