BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/529
9/13-14-December-2013-Advances-in-Proof-Theory-201
3-APT13-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 \n \n

For more information, see\n
http://apt13.unibe.ch/.\n

\n
URL:/NewsandEvents/Events/Conferences/newsitem/529
9/13-14-December-2013-Advances-in-Proof-Theory-201
3-APT13-Bern-Switzerland
END:VEVENT
END:VCALENDAR