Final CfPart: Proof Society School and Workshop [PS24]. **Extended registration deadline: 16 August**. 9-13 September, Birmingham, UK.

FINAL CALL FOR PARTICIPATION=0A=
6th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP 2024 [PS24]=0A=
University of Birmingham, UK=0A=
https://proofsociety2024.com=0A=
=0A=
**Extended registration deadline: 16 August**=0A=
School: 9-11 September=0A=
Workshop: 12-13 September=0A=
=0A=
The 6th Proof Society International School and Workshop will be=0A=
organised by the University of Birmingham. The event takes place under=0A=
the auspices of The Proof Society, a recently formed society to support=0A=
the notion of proof in its broadest sense. The Proof Society has=0A=
organised an annual school and workshop since 2018 (except 2020 due to=0A=
the COVID19 pandemic).=0A=
=0A=
The aim of the School is to cover basic and advanced topics in proof=0A=
theory and related subjects. The School will be aimed at Master's and=0A=
PhD students interested in proof theory, as well as more senior=0A=
researchers from related areas in computer science, mathematics and=0A=
philosophy. =A0The workshop is aimed at all researchers, from students to=
=0A=
professors, working around proof theory and its applications. It will=0A=
consist of a mixture of invited and contributed talks.=0A=
=0A=
=0A=
SCOPE=0A=
=0A=
The School and Workshop aim to promote proof theory and its related=0A=
areas in the broadest sense. Topics include but are not limited to:=0A=
=0A=
* Applied proof theory=0A=
* Formalised proofs=0A=
* Structural proof theory=0A=
* Linear logic=0A=
* Computational interpretations of proofs=0A=
* Computability and proofs, e.g. Reverse Mathematics=0A=
* Philosophy of proof theory=0A=
* Proof systems and proof search=0A=
* Proof complexity=0A=
* Automated theorem proving=0A=
=0A=
=0A=
IMPORTANT DATES=0A=
=0A=
Registration deadline: 2 August=0A=
School: 9-11 September=0A=
Workshop: 12-13 September=0A=
=0A=
=0A=
BEST STUDENT PRESENTATION AWARD=0A=
=0A=
As is traditional for the Proof Society Workshop, there will be an award=0A=
for the *Best Student Presentation* at the workshop.=0A=
=0A=
=0A=
INVITED LECTURERS AND SPEAKERS=0A=
=0A=
The School will consist of the following courses:=0A=
* The Curry-Howard correspondence journey.=0A=
=A0 =A0Silvia Ghilezan (University of Novi Sad)=0A=
* Proof Mining: Foundations and Applications.=0A=
=A0 =A0Ulrich Kohlenbach (TU Darmstadt)=0A=
* Cut elimination, analytic cut property and interpolation property.=0A=
=A0 =A0Hiroakira Ono (JAIST)=0A=
* An introduction to reverse mathematics.=0A=
=A0 =A0Paul Shafer (University of Leeds)=0A=
=0A=
The Workshop will include the following invited talks:=0A=
* From Program Logic to Realizability Models.=0A=
=A0 =A0Liron Cohen (Ben-Gurion University)=0A=
* Upon This Quote I Will Build My Church Thesis.=0A=
=A0 =A0Pierre-Marie P=E9drot (Inria Rennes)=0A=
* A generalization of Beth definability, proof-theoretically.=0A=
=A0 =A0C=E9cilia Pradic (Swansea University)=0A=
* Towards combinatorial proof theory.=0A=
=A0 =A0Lutz Strassburger (Inria Saclay)=0A=
=0A=
=0A=
COLOCATION WITH BLC=0A=
=0A=
PS24 will be colocated with the British Logic Colloquium meeting of=0A=
2024, taking place *5-7 September*.=0A=
=0A=
https://blc24.github.io/=0A=
=0A=
=0A=
REGISTRATION=0A=
=0A=
Registration is now open via the online shop until 16 August 2024:=0A=
=0A=
https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physi=
cal-sciences/school-of-computer-science/computer-science-courses-events/pro=
of-society=0A=
=0A=
The registration prices are:=0A=
=0A=
* School & Workshop: =A3230=0A=
* School only: =A3130=0A=
* Workshop only: =A3130=0A=
=0A=
The registration price includes all lunches, coffee breaks and social event=
s.=0A=
=0A=
=0A=
STUDENT GRANTS=0A=
=0A=
A small number of registration fee waivers are available for students witho=
ut access to funding to support their participation. Anyone who would like =
to request this should email Anupam Das <[email protected]> at the earliest =
opportunity.=0A=
=0A=
=0A=
PROGRAM COMMITTEE=0A=
=0A=
Juan Aguilera (Vienna University of Technology & Ghent University)=0A=
Gianluca Curzi (University of Gothenburg & University of Birmingham)=0A=
Anupam Das (University of Birmingham) [PC Chair]=0A=
Anton Freund (University of W=FCrzburg)=0A=
Marianna Girlando (University of Amsterdam)=0A=
Raheleh Jalali (Czech Academy of Sciences)=0A=
Leszek Kolodziejczyk (University of Warsaw)=0A=
Stepan Kuznetsov (Steklov Mathematical Institute)=0A=
Sonia Marin (University of Birmingham)=0A=
Sara Negri (University of Genoa)=0A=
Isabel Oitavem (CMA and DM, FCT, Universidade NOVA de Lisboa)=0A=
Fedor Pakhomov (Ghent University)=0A=
Frank Pfenning (Carnegie Mellon University)=0A=
Thomas Powell (University of Bath)=0A=
Revantha Ramanayake (University of Groningen)=0A=
Alexis Saurin (CNRS)=0A=
Keita Yokoyama (Tohoku University)=0A=