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/2013/newsitem/5299/13-
 14-December-2013-Advances-in-Proof-Theory-2013-APT
 13-Bern-Switzerland
DTSTAMP:20131013T000000
SUMMARY:Advances in Proof Theory 2013 (APT13), Ber
 n, Switzerland
DTSTART;VALUE=DATE:20131213
DTEND;VALUE=DATE:20131214
LOCATION:Bern, Switzerland
DESCRIPTION:The aim of this symposium is to bring 
 together some of the best specialists from the are
 a of proof theory, constructivity, and computation
  and to discuss recent trends and results in these
  areas. Some emphasis will be put on ordinal analy
 sis, reductive proof theory, explicit mathematics 
 and type-theoretic formalisms, and abstract comput
 ations.   For more information, see http://apt13.u
 nibe.ch/.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 The aim of this symposium is to bring together som
 e of the\n        best specialists from the area o
 f proof theory,\n        constructivity, and compu
 tation and to discuss recent trends\n        and r
 esults in these areas. Some emphasis will be put o
 n\n        ordinal analysis, reductive proof theor
 y, explicit mathematics\n        and type-theoreti
 c formalisms, and abstract computations.\n      </
 p>\n    \n      <p>For more information, see\n    
     <a target="_blank" href="http://apt13.unibe.ch
 /">http://apt13.unibe.ch/</a>.\n      </p>\n    
URL:/NewsandEvents/Archives/2013/newsitem/5299/13-
 14-December-2013-Advances-in-Proof-Theory-2013-APT
 13-Bern-Switzerland
END:VEVENT
END:VCALENDAR