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/2009/newsitem/2760/3-1
6-July-2009-Leeds-Symposium-on-Proof-Theory-and-Co
nstructivism-Leeds-U-K-
DTSTAMP:20090222T000000
SUMMARY:Leeds Symposium on Proof Theory and Constr
uctivism, Leeds, U.K.
DTSTART;VALUE=DATE:20090703
DTEND;VALUE=DATE:20090716
LOCATION:Leeds, U.K.
DESCRIPTION:A two week symposium on Proof Theory a
nd Constructivism will be held in the Research Vis
itors' Centre of the School of Mathematics at Leed
s, from 3rd July (arrival) to 16th July (departure
) this year. It will comprise three connected even
ts: 4th & 5th July: An LMS-funded conference on
Proofs and Computations. This meeting will be in h
onour of Stan Wainer on the occasion of his 65th b
irthday. 5th & 6th July: A Gentzen Centenary Conf
erence, celebrating 100 years since the birth of G
erhard Gentzen, the founder of structural proof th
eory. 7th - 16th July: An EPSRC-funded Research W
orkshop on Proof Theory and Constructivism. For
further information visit the web-site: http://www
.personal.leeds.ac.uk/~matptw/ or contact the orga
nisers at: matptw at leeds.ac.uk
X-ALT-DESC;FMTTYPE=text/html:\n A two week
symposium on Proof Theory and Constructivism will
\n be held in the Research Visitors' Centre o
f the School of\n Mathematics at Leeds, from
3rd July (arrival) to 16th July\n (departure)
this year. It will comprise three connected event
s:\n

\n 4th & 5th July: An LM
S-funded conference on Proofs and\n Computa
tions. This meeting will be in honour of Stan Wain
er\n on the occasion of his 65th birthday.<
br />\n 5th & 6th July: A Gentzen Cente
nary Conference, celebrating 100 \n years s
ince the birth of Gerhard Gentzen, the founder of
structural\n proof theory.

\n 7
th - 16th July: An EPSRC-funded Research Workshop
on Proof Theory and \n Constructivism.\n

\n \n For further information vi
sit the web-site: \n http:
//www.personal.leeds.ac.uk/~matptw/ or contact
the \n organisers at: mat
ptw at leeds.ac.uk\n

\n
URL:/NewsandEvents/Archives/2009/newsitem/2760/3-1
6-July-2009-Leeds-Symposium-on-Proof-Theory-and-Co
nstructivism-Leeds-U-K-
END:VEVENT
END:VCALENDAR