BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/107
55/8---11-September-2019-2nd-International-Summer-
School-on-Proof-Theory-Swansea-Wales
DTSTAMP:20190408T144558
SUMMARY:2nd International Summer School on Proof T
heory, Swansea, Wales
DTSTART;VALUE=DATE:20190908
DTEND;VALUE=DATE:20190911
LOCATION:Swansea, Wales
DESCRIPTION:The 2nd International Summer School on
Proof Theory will be hosted by the Department of
Computer Science at Swansea University under the a
uspices of The Proof Society and is sponsored by t
he London Mathematical Society. The Summer School
will be co-located with the 2nd Workshop on Proof
Theory and its Applications which will take place
on September 11-13. It is the aim of the summer s
chool to cover basic and advanced topics in proof
theory. The focus of the second edition will be on
philosophy of proof theory, proof theory of impre
dicative theories, structural proof theory, proof
mining, reverse mathematics, type theory and bound
ed arithmetic. Other areas like proof complexity,
program extraction from proofs, and philosophy of
constructive mathematics will be covered at the wo
rkshop. The intended audience for the Summer Scho
ol is advanced master students, PhD students postd
ocs and experienced researchers new to the field i
n mathematics, computer science and philosophy.
X-ALT-DESC;FMTTYPE=text/html:\n The 2nd Intern
ational Summer School on Proof Theory will be host
ed by the Department of Computer Science at Swanse
a University under the auspices of The Proof Socie
ty and is sponsored by the London Mathematical Soc
iety. The Summer School will be co-located with th
e 2nd Workshop on Proof Theory and its Appl
ications which will take place on September 11-13.

\n\n It is the aim of the summer school to
cover basic and advanced topics in proof theory.
The focus of the second edition will be on philoso
phy of proof theory, proof theory of impredicative
theories, structural proof theory, proof mining,
reverse mathematics, type theory and bounded arith
metic. Other areas like proof complexity, program
extraction from proofs, and philosophy of construc
tive mathematics will be covered at the workshop.<
/p>\n\n

The intended audience for the Summer S
chool is advanced master students, PhD students po
stdocs and experienced researchers new to the fiel
d in mathematics, computer science and philosophy.

\n
URL:http://www.proofsociety.org/summer-school-2019
/
END:VEVENT
END:VCALENDAR