Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20-21 September 2016, Sixth conference on Computability Theory and Foundations of Mathematics (CTFM 2016), Tokyo, Japan

Date: 20-21 September 2016
Location: Tokyo, Japan
Deadline: 31 August 2016

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.

For more information, see http://www.sendailogic.com/CTFM2016/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline for presentations: August 31, 2016.

Please note that this newsitem has been archived, and may contain outdated information or links.