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/2004/newsitem/609/6-Fe
 bruary-2004-Symposium-Philosophy-of-Constructive-T
 ype-Theory-Room-148-WSD-Building-1175-Leiden-Unive
 rsity
DTSTAMP:20040119T000000
SUMMARY:Symposium 'Philosophy of Constructive Type
  Theory', Room 148, WSD-Building 1175, Leiden Univ
 ersity
DTSTART;VALUE=DATE:20040206
DTEND;VALUE=DATE:20040206
LOCATION:Room 148, WSD-Building 1175, Leiden Unive
 rsity
DESCRIPTION:11.00-12.30: Per Martin-Löf (Stockholm
 ), 'Sets, Types and Categories'  14.00-15.00: B. G
 . Sundholm( Leiden), 'Three Key Features of Martin
 -Löf's Philosophy of Logic: Content, Judgement, Fi
 rst-Person Perspective?  15.00-16.00: A. Ranta (Go
 thenburg), 'Language: A Type-Theoretical View'  16
 .30-17.30: M. Bourdeau (MSH, Paris), 'Categories, 
 Types, and Constructive Reference'  17.30-18.30: G
 uido Löhrer (Bern), 'On Ends and Means - Construct
 ive Type Theory as a Guide for Historical and Syst
 ematical Interpretation'.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n11.00-12
 .30: Per Martin-L&ouml;f (Stockholm), 'Sets, Types
  and Categories'<br />\n14.00-15.00: B. G. Sundhol
 m( Leiden), 'Three Key Features of\nMartin-L&ouml;
 f's Philosophy of Logic: Content, Judgement, First
 -Person\nPerspective?<br />\n15.00-16.00: A. Ranta
  (Gothenburg), 'Language: A Type-Theoretical View'
 <br />\n16.30-17.30: M. Bourdeau (MSH, Paris), 'Ca
 tegories, Types, and\nConstructive Reference'<br /
 >\n17.30-18.30: Guido L&ouml;hrer (Bern), 'On Ends
  and Means - Constructive\nType Theory as a Guide 
 for Historical and Systematical Interpretation'.\n
       </p>\n    
URL:/NewsandEvents/Archives/2004/newsitem/609/6-Fe
 bruary-2004-Symposium-Philosophy-of-Constructive-T
 ype-Theory-Room-148-WSD-Building-1175-Leiden-Unive
 rsity
END:VEVENT
END:VCALENDAR