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:<div>\n  <p>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.</p>\n\n  
 <p>Invited Speakers:<br>\n  Andrew Arana (Universi
 té Paris 1 - Panthéon-Sorbonne)<br>\n  Rosalie Iem
 hoff (Utrecht University)<br>\n  Dale Miller (Inri
 a Saclay and LIX)<br>\n  Paulo Oliva (Queen Mary U
 niversity of London)<br>\n  Pavel Pudlák (Czech Ac
 ademy of Sciences)<br>\n  Michael Rathjen (Univers
 ity of Leeds)<br>\n  Albert Visser (Utrecht Univer
 sity)</p>\n</div><div>\n  <p>Students are invited 
 to apply with an informal abstract (1 page) to the
  poster session which will be held as part of the 
 workshop.</p>\n</div>
URL:http://www.proofsociety.org/workshop-2018/
CONTACT:Bahareh Afshari at bahareh.afshari at cse.
 gu.se
END:VEVENT
END:VCALENDAR