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/2016/newsitem/7491/20-
 21-September-2016-Sixth-conference-on-Computabilit
 y-Theory-and-Foundations-of-Mathematics-CTFM-2016-
 Tokyo-Japan
DTSTAMP:20160707T000000
SUMMARY:Sixth conference on Computability Theory a
 nd Foundations of Mathematics (CTFM 2016), Tokyo, 
 Japan
DTSTART;VALUE=DATE:20160920
DTEND;VALUE=DATE:20160921
LOCATION:Tokyo, Japan
DESCRIPTION:Computability Theory and Foundations o
 f Mathematics (CTFM) aims to develop computability
  theory and logical foundations of Mathematics. Th
 e scope involves the topics Computability Theory, 
 Reverse Mathematics, Nonstandard Analysis, Proof T
 heory, Set Theory, Philosophy of Mathematics, Cons
 tructive Mathematics, Theory of Randomness and Com
 putational Complexity Theory.   For more informati
 on, see http://www.sendailogic.com/CTFM2016/   The
  Programme Committee cordially invites all researc
 hers to submit their papers for presentation. Subm
 ission deadline for presentations: August 31, 2016
 .
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      Computability Theory and Foundations of Mathe
 matics (CTFM)\n        aims to develop computabili
 ty theory and logical foundations\n        of Math
 ematics. The scope involves the topics Computabili
 ty\n        Theory, Reverse Mathematics, Nonstanda
 rd Analysis, Proof\n        Theory, Set Theory, Ph
 ilosophy of Mathematics, Constructive\n        Mat
 hematics, Theory of Randomness and Computational C
 omplexity\n        Theory.\n      </p>\n    \n    
   \n      <p>For more information, see\n        <a
  target="_blank" href="http://www.sendailogic.com/
 CTFM2016/">http://www.sendailogic.com/CTFM2016/</a
 >\n      </p>\n    </div><div>\n      <p>\n       
  The Programme Committee cordially invites all res
 earchers\n        to submit their\n        papers 
 for presentation.\n        Submission deadline for
  presentations:\n        August 31, 2016.\n      <
 /p>\n      </div>
URL:/NewsandEvents/Archives/2016/newsitem/7491/20-
 21-September-2016-Sixth-conference-on-Computabilit
 y-Theory-and-Foundations-of-Mathematics-CTFM-2016-
 Tokyo-Japan
END:VEVENT
END:VCALENDAR