\n

This work shop is the seventh in the Computability Theory an d Foundations of Mathematics (CTFM) series. CTFM a ims to provide a forum for computability theory an d logical foundations of mathematics. The topics i nclude, but are not limited to, Computability / Re cursion Theory, Reverse Mathematics, Nonstandard A nalysis, Proof Theory, Set Theory, Philosophy of M athematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

\n\nThe first day and the last day of the 2017 work shop will focus on classical recursion theory, and computable structures as well as reverse mathemat ics. The activities are held jointly with the prog ram Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

\n\n

URL:http://ims.nus.edu.sg/events/2017/wcom/
CONTACT:imsbox1 at nus.edu.sg
END:VEVENT
END:VCALENDAR
Abstracts
of talks should be submitted via email to imsbox1 at
nus.edu.sg with subject line: CTF
M2017 submission. The length of abstract is limite
d to 2 pages including references. The authors are
recommended to prepare their abstracts in the fol
lowing IMS format:

\n Tex file: http://ims.nus
.edu.sg/files/IMSAbstractTemplate.tex

\n PDF e
xample: http://ims.nus.edu.sg/files/IMSAbstractTem
plate.pdf