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
\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
For more information, see\n http://apt13.unibe.ch/.\n
URL:/NewsandEvents/Archives/2013/newsitem/5299/13- 14-December-2013-Advances-in-Proof-Theory-2013-APT 13-Bern-Switzerland END:VEVENT END:VCALENDAR