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/2012/newsitem/4411/23-
 25-May-2012-The-Constructive-in-Logic-and-Applicat
 ions-New-York-U-S-A-
DTSTAMP:20120331T000000
SUMMARY:The Constructive in Logic and Applications
 , New York, U.S.A.
DTSTART;VALUE=DATE:20120523
DTEND;VALUE=DATE:20120525
LOCATION:New York, U.S.A.
DESCRIPTION:Constructivity is fundamental to the a
 pplication of mathematics to the real world, wheth
 er in the exact sciences, the social sciences, or 
 engineering. Constructive logics supporting this t
 radition have flourished over the last century. Th
 is conference is a celebration of the past and fut
 ure of the constructive tradition.  This conferenc
 e is in honor of the 60th birthday of the distingu
 ished logician Sergei Artemov. He has made fundame
 ntal contributions exploring constructivity in log
 ic, computer science, epistemology, game theory, a
 nd other areas. With this conference we honor his 
 work, and by extension a subject whose content he 
 has elucidated and whose boundaries he has expande
 d.  For more information, see http://fsw01.bcc.cun
 y.edu/evangelia.antonakos/file/ConstructivityAtCUN
 Y.html
X-ALT-DESC;FMTTYPE=text/html:\n        <p>Construc
 tivity is fundamental  to the application of mathe
 matics to the real world, whether in the exact sci
 ences, the social sciences, or engineering. Constr
 uctive logics  supporting this tradition have flou
 rished over the last century. This conference is a
  celebration of the past and future of the  constr
 uctive tradition.</p>\n        \n        <p>This c
 onference is in honor of the 60th birthday of the 
 distinguished logician Sergei Artemov.  He has mad
 e fundamental contributions exploring constructivi
 ty in logic, computer science, epistemology, game 
 theory, and other areas.  With this conference we 
 honor his work, and by extension a subject whose c
 ontent he has elucidated and whose boundaries he h
 as expanded.</p>\n    \n        <p>For more inform
 ation, see <a target="_blank" href="http://fsw01.b
 cc.cuny.edu/evangelia.antonakos/file/Constructivit
 yAtCUNY.html">http://fsw01.bcc.cuny.edu/evangelia.
 antonakos/file/ConstructivityAtCUNY.html</a></p>\n
     
URL:/NewsandEvents/Archives/2012/newsitem/4411/23-
 25-May-2012-The-Constructive-in-Logic-and-Applicat
 ions-New-York-U-S-A-
END:VEVENT
END:VCALENDAR