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/599/23-J
 anuary-2004-Colloquium-on-Mathematical-Logic-Serge
 i-Artemov
DTSTAMP:20040120T000000
SUMMARY:Colloquium on Mathematical Logic, Sergei A
 rtemov
ATTENDEE;ROLE=Speaker:Sergei Artemov (New York)
DTSTART;TZID=Europe/Amsterdam:20040123T160000
DTEND;TZID=Europe/Amsterdam:20040123T170000
LOCATION:<em>(Changed!)</em>\n      Opzomerkamer, 
 Academiegebouw, Domplein 29, Utrecht
DESCRIPTION:We use de Jongh Theorem in a combinati
 on with the usual methods of the logic of proofs t
 o establish the completeness of the basic intuitio
 nistic logic of proofs w.r.t. the Heyting arithmet
 ic.   For more information, see http://www.math.uu
 .nl/people/jvoosten/seminar.html
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\nWe use d
 e Jongh Theorem in a combination\nwith the usual m
 ethods of the logic of proofs to establish the\nco
 mpleteness of the basic intuitionistic logic of pr
 oofs w.r.t.\nthe Heyting arithmetic.\n      </p>\n
     \n      <p>For more information, see\n        
 <a target="_blank" href="http://www.math.uu.nl/peo
 ple/jvoosten/seminar.html">http://www.math.uu.nl/p
 eople/jvoosten/seminar.html</a>\n    </p>\n    
URL:/NewsandEvents/Archives/2004/newsitem/599/23-J
 anuary-2004-Colloquium-on-Mathematical-Logic-Serge
 i-Artemov
END:VEVENT
END:VCALENDAR