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      <p>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      </p>\n      <p>4th &amp; 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 &amp; 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.<br />\n        7
 th - 16th July: An EPSRC-funded Research Workshop 
 on Proof Theory and \n        Constructivism.\n   
    </p>\n    \n      <p>For further information vi
 sit the web-site: \n        <a target="_blank" hre
 f="http://www.personal.leeds.ac.uk/~matptw/">http:
 //www.personal.leeds.ac.uk/~matptw/</a> or contact
  the \n        organisers at: <a class="email">mat
 ptw <span class="at">at</span> leeds.ac.uk</a>\n  
     </p>\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