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/2018/newsitem/9774/2--
 -5-September-2018-1st-International-Summer-School-
 on-Proof-Theory-Ghent-Belgium
DTSTAMP:20180531T151826
SUMMARY:1st International Summer School on Proof T
 heory, Ghent, Belgium
DTSTART;VALUE=DATE:20180902
DTEND;VALUE=DATE:20180905
LOCATION:Ghent, Belgium
DESCRIPTION:The 1st International Summer School fo
 r Proof Theory in Ghent is arranged under the ausp
 ices of The Proof Society, and is sponsored by the
  Kurt Gödel Society. The Proof Society has recentl
 y been formed to support the notion of proof in it
 s broadest sense, through a series of suitable act
 ivities; to be therefore inclusive in reaching out
  to all scientific areas which consider proof as a
 n object in their studies; to enable the community
  to shape its future by identifying, formulating a
 nd communicating its most important goals; to acti
 vely promote proof to increase its visibility and 
 representation.  The aim of the summer school is t
 o cover basic and advanced topics in proof theory.
  The focus of the first edition will be on structu
 ral proof theory, ordinal analysis, provability lo
 gic, automated theorem proving, and philosophical 
 aspects of proof. Other areas like reverse mathema
 tics, proof mining, and proof complexity will be c
 overed at the workshop, and in follow up summer sc
 hools. The intended audience is advanced master st
 udents, PhD students, postdocs and experienced res
 earchers in mathematics, computer science and phil
 osophy.  The summer school is co-located with a wo
 rkshop on proof theory in Ghent (6-7 September). T
 he workshop will be the inaugural meeting of The P
 roof Society. Students are invited to apply with a
 n informal abstract (1 page) to the poster session
  which will be held as part of the workshop.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The 1st Intern
 ational Summer School for Proof Theory in Ghent is
  arranged under the auspices of The Proof Society,
  and is sponsored by the Kurt Gödel Society. The P
 roof Society has recently been formed to support t
 he notion of proof in its broadest sense, through 
 a series of suitable activities; to be therefore i
 nclusive in reaching out to all scientific areas w
 hich consider proof as an object in their studies;
  to enable the community to shape its future by id
 entifying, formulating and communicating its most 
 important goals; to actively promote proof to incr
 ease its visibility and representation.</p>\n\n  <
 p>The aim of the summer school is to cover basic a
 nd advanced topics in proof theory. The focus of t
 he first edition will be on structural proof theor
 y, ordinal analysis, provability logic, automated 
 theorem proving, and philosophical aspects of proo
 f. Other areas like reverse mathematics, proof min
 ing, and proof complexity will be covered at the w
 orkshop, and in follow up summer schools. The inte
 nded audience is advanced master students, PhD stu
 dents, postdocs and experienced researchers in mat
 hematics, computer science and philosophy.</p>\n\n
   <p>The summer school is co-located with a worksh
 op on proof theory in Ghent (6-7 September). The w
 orkshop will be the inaugural meeting of The Proof
  Society. Students are invited to apply with an in
 formal abstract (1 page) to the poster session whi
 ch will be held as part of the workshop.</p>\n
URL:http://www.proofsociety.org/summer-school-2018
 /
CONTACT:Bahareh Afshari at bahareh.afshari at cse.
 gu.se
END:VEVENT
END:VCALENDAR