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:<div>\n  <p>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.</p>\n\n  
 <p>The 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.</p>\n</div><div>\n  <p>Abstracts 
 of talks should be submitted via email to <a class
 ="email" href="#">imsbox1<span class="at">&nbsp;at
 &nbsp;</span>nus.edu.sg</a> 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:<br>\n  Tex file: http://ims.nus
 .edu.sg/files/IMSAbstractTemplate.tex<br>\n  PDF e
 xample: http://ims.nus.edu.sg/files/IMSAbstractTem
 plate.pdf</p>\n</div>
URL:http://ims.nus.edu.sg/events/2017/wcom/
CONTACT:imsbox1 at nus.edu.sg
END:VEVENT
END:VCALENDAR