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
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.
\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.\n\nThe 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.
URL:http://www.proofsociety.org/summer-school-2018 / CONTACT:Bahareh Afshari at bahareh.afshari at cse. gu.se END:VEVENT END:VCALENDAR