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/2019/newsitem/10755/8-
 --11-September-2019-2nd-International-Summer-Schoo
 l-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  <p>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 <a href="http://www.proofsociety.org/workshop-20
 19/">2nd Workshop on Proof Theory</a> and its Appl
 ications which will take place on September 11-13.
 </p>\n\n  <p>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  <p>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.
 </p>\n
URL:http://www.proofsociety.org/summer-school-2019
 /
END:VEVENT
END:VCALENDAR