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/current/newsitem/15064
/9---13-September-2024-6th-International-School-an
d-Workshop-on-Proof-Theory-Proof-Society-2024-Birm
ingham-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 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)
.

\n 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.

URL:https://proofsociety2024.com
CONTACT:a.das at bham.ac.uk
END:VEVENT
END:VCALENDAR