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/2024/newsitem/15064/9-
 --13-September-2024-6th-International-School-and-W
 orkshop-on-Proof-Theory-Proof-Society-2024-Birming
 ham-UK
DTSTAMP:20240718T155512
SUMMARY:6th International School and Workshop on P
 roof Theory (Proof Society 2024), Birmingham, UK
DTSTART;VALUE=DATE:20240909
DTEND;VALUE=DATE:20240913
LOCATION:Birmingham, UK
DESCRIPTION:The 6th Proof Society International Sc
 hool and Workshop will be organised by the Univers
 ity of Birmingham. The event takes place under the
  auspices of The Proof Society, a recently formed 
 society to support the notion of proof in its broa
 dest sense. The Proof Society has organised an ann
 ual school and workshop since 2018 (except 2020 du
 e to the COVID19 pandemic).  The aim of the School
  is to cover basic and advanced topics in proof th
 eory and related subjects. The School will be aime
 d at Master's and PhD students interested in proof
  theory, as well as more senior researchers from r
 elated areas in computer science, mathematics and 
 philosophy. The workshop is aimed at all researche
 rs, from students to professors, working around pr
 oof theory and its applications. It will consist o
 f a mixture of invited and contributed talks. PS24
  will be colocated with the British Logic Colloqui
 um meeting of 2024, taking place 5-7 September.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The 6th Proof 
 Society International School and Workshop will be 
 organised by the University of Birmingham. The eve
 nt takes place under the auspices of The Proof Soc
 iety, a recently formed society to support the not
 ion of proof in its broadest sense. The Proof Soci
 ety has organised an annual school and workshop si
 nce 2018 (except 2020 due to the COVID19 pandemic)
 .</p>\n  <p>The aim of the School is to cover basi
 c and advanced topics in proof theory and related 
 subjects. The School will be aimed at Master's and
  PhD students interested in proof theory, as well 
 as more senior researchers from related areas in c
 omputer science, mathematics and philosophy. The w
 orkshop is aimed at all researchers, from students
  to professors, working around proof theory and it
 s applications. It will consist of a mixture of in
 vited and contributed talks. PS24 will be colocate
 d with the British Logic Colloquium meeting of 202
 4, taking place 5-7 September.</p>\n
URL:https://proofsociety2024.com
CONTACT:a.das at bham.ac.uk
END:VEVENT
END:VCALENDAR