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 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

\n 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

\n
\n For more information, see http://www.math.uu.nl/people/jvoosten
/setth0510.\n

\n
URL:/NewsandEvents/Archives/2010/newsitem/3210/6-7
-May-2010-Set-Theory-Classical-and-Constructive
END:VEVENT
END:VCALENDAR