Universiteit van Amsterdam


Institute for Logic, Language and Computation

8 - 12 September 2017, Workshop on Computability Theory & Foundations of Mathematics, Singapore, Singapore

Date: 8 - 12 September 2017
Location: Singapore, Singapore
Deadline: Friday 1 September 2017

This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

Abstracts of talks should be submitted via email to with subject line: CTFM2017 submission. The length of abstract is limited to 2 pages including references. The authors are recommended to prepare their abstracts in the following IMS format:
Tex file: http://ims.nus.edu.sg/files/IMSAbstractTemplate.tex
PDF example: http://ims.nus.edu.sg/files/IMSAbstractTemplate.pdf

For more information, see http://ims.nus.edu.sg/events/2017/wcom/ or contact .