BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2017/newsitem/9220/8-- -12-September-2017-Workshop-on-Computability-Theor y-Foundations-of-Mathematics-Singapore-Singapore DTSTAMP:20170724T141722 SUMMARY:Workshop on Computability Theory & Foundat ions of Mathematics, Singapore, Singapore DTSTART;VALUE=DATE:20170908 DTEND;VALUE=DATE:20170912 LOCATION:Singapore, Singapore DESCRIPTION:This workshop is the seventh in the Co mputability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for co mputability theory and logical foundations of math ematics. The topics include, but are not limited t o, Computability / Recursion Theory, Reverse Mathe matics, Nonstandard Analysis, Proof Theory, Set Th eory, Philosophy of Mathematics, Constructive Math ematics, Algorithmic Randomness and Computational Complexity. The first day and the last day of the 2017 workshop will focus on classical recursion t heory, and computable structures as well as revers e mathematics. The activities are held jointly wit h the program Aspect of Computation. The other two days will focus on topics in set theory and the f oundations of mathematics. Abstracts of talks sho uld be submitted via email to imsbox1 at nus.edu.s g with subject line: CTFM2017 submission. The leng th of abstract is limited to 2 pages including ref erences. The authors are recommended to prepare th eir abstracts in the following IMS format: Tex fi le: http://ims.nus.edu.sg/files/IMSAbstractTemplat e.tex PDF example: http://ims.nus.edu.sg/files/IM SAbstractTemplate.pdf X-ALT-DESC;FMTTYPE=text/html:
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.
Abstracts of
talks should be submitted via email to imsbox1 at&n
bsp;nus.edu.sg with subject line: CTFM2
017 submission. The length of abstract is limited
to 2 pages including references. The authors are r
ecommended to prepare their abstracts in the follo
wing IMS format:
\n Tex file: http://ims.nus.e
du.sg/files/IMSAbstractTemplate.tex
\n PDF exa
mple: http://ims.nus.edu.sg/files/IMSAbstractTempl
ate.pdf