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/2010/newsitem/3210/6-7
 -May-2010-Set-Theory-Classical-and-Constructive
DTSTAMP:20100408T000000
SUMMARY:Set Theory, Classical and Constructive
DTSTART;VALUE=DATE:20100506
DTEND;VALUE=DATE:20100507
LOCATION:Roeterseiland building M, Plantage Muider
 gracht 12, Amsterdam
DESCRIPTION:The aim of the meeting is to inform se
 t theorists from whatever denomination about front
 ier research in the other field, and also to probe
  possible areas of common interest. Classical and 
 constructive set theory have obvious points of con
 tact: topos models are analogous to forcing, and c
 lassical set theory is often instrumental in the c
 onstruction of models for intuitionistic set theor
 y (e.g. in the work of Friedman and Scedrov). The 
 organizers hope that this meeting brings these poi
 nts to life.   The following invited speakers have
  confirmed to come: Peter Aczel, Andreas Blass, Ju
 liet Floyd, Harvey Friedman, Peter Koepke, Ieke Mo
 erdijk, Erik Palmgren, Michael Rathjen, Dana Scott
 , Alex Simpson, Benno van den Berg, Nik Weaver and
  Hugh Woodin.   For more information, see http://w
 ww.math.uu.nl/people/jvoosten/setth0510.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>The aim of
  the meeting is to inform set theorists from\n    
   whatever denomination about frontier research in
  the other\n      field, and also to probe possibl
 e areas of common\n      interest. Classical and c
 onstructive set theory have obvious\n      points 
 of contact: topos models are analogous to forcing,
  and\n      classical set theory is often instrume
 ntal in the construction\n      of models for intu
 itionistic set theory (e.g. in the work of\n      
 Friedman and Scedrov). The organizers hope that th
 is meeting\n      brings these points to life.\n  
     </p>\n      <p>The following invited speakers 
 have confirmed to come:\n        Peter Aczel,\n   
      Andreas Blass,\n        Juliet Floyd,\n      
   Harvey Friedman,\n        Peter Koepke,\n       
  Ieke Moerdijk,\n        Erik Palmgren,\n        M
 ichael Rathjen,\n        Dana Scott,\n        Alex
  Simpson,\n        Benno van den Berg,\n        Ni
 k Weaver\n        and Hugh Woodin.\n      </p>\n  
   \n      <p>For more information, see <a target="
 _blank" href="http://www.math.uu.nl/people/jvooste
 n/setth0510">http://www.math.uu.nl/people/jvoosten
 /setth0510</a>.\n      </p>\n    
URL:/NewsandEvents/Archives/2010/newsitem/3210/6-7
 -May-2010-Set-Theory-Classical-and-Constructive
END:VEVENT
END:VCALENDAR