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/9775/6-- -7-September-2018-Workshop-on-Proof-Theory-Ghent-B elgium DTSTAMP:20180531T151540 SUMMARY:Workshop on Proof Theory, Ghent, Belgium DTSTART;VALUE=DATE:20180906 DTEND;VALUE=DATE:20180907 LOCATION:Ghent, Belgium DESCRIPTION:The 1st Workshop on Proof Theory and i ts Applications, organised under the auspices of T he Proof Society, will bring together researchers on proof theory and its applications. The aim of t he meeting is to reflect on the mission of The Pro of Society, through a series of invited and contri buted talks, as well as a panel discussion. The in tended audience for the workshop is advanced maste r students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy with an interest in Proof Theory in a b road sense. Invited Speakers: Andrew Arana (Univ ersité Paris 1 - Panthéon-Sorbonne) Rosalie Iemho ff (Utrecht University) Dale Miller (Inria Saclay and LIX) Paulo Oliva (Queen Mary University of L ondon) Pavel Pudlák (Czech Academy of Sciences) Michael Rathjen (University of Leeds) Albert Viss er (Utrecht University) Students are invited to a pply with an informal abstract (1 page) to the pos ter session which will be held as part of the work shop. X-ALT-DESC;FMTTYPE=text/html:
The 1st W orkshop on Proof Theory and its Applications, orga nised under the auspices of The Proof Society, wil l bring together researchers on proof theory and i ts applications. The aim of the meeting is to refl ect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion. The intended audience for t he workshop is advanced master students, PhD stude nts, postdocs and experienced researchers in mathe matics, computer science and philosophy with an in terest in Proof Theory in a broad sense.
\n\nInvited Speakers:
\n Andrew Arana (Universi
té Paris 1 - Panthéon-Sorbonne)
\n Rosalie Iem
hoff (Utrecht University)
\n Dale Miller (Inri
a Saclay and LIX)
\n Paulo Oliva (Queen Mary U
niversity of London)
\n Pavel Pudlák (Czech Ac
ademy of Sciences)
\n Michael Rathjen (Univers
ity of Leeds)
\n Albert Visser (Utrecht Univer
sity)
Students are invited to apply with an informal abstract (1 page) to the p oster session which will be held as part of the wo rkshop.