9 - 13 September 2024, 6th International School and Workshop on Proof Theory (Proof Society 2024), Birmingham, UK

The 6th Proof Society International School and Workshop will be organised by the University 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 broadest sense. The Proof Society has organised an annual school and workshop since 2018 (except 2020 due to the COVID19 pandemic).

The aim of the School is to cover basic 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 computer science, mathematics and philosophy. The workshop is aimed at all researchers, from students to professors, working around proof theory and its applications. It will consist of a mixture of invited and contributed talks. PS24 will be colocated with the British Logic Colloquium meeting of 2024, taking place 5-7 September.