General Information

The 8^th Proof Society International School and Workshop will be organised by IRIF and will take place in the French Alps, in Aussois. The event takes place under the auspices of The Proof Society, a society formed 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 workshop will consist in a mixture of invited and contributed talks.

This year, in order to better connect the two events, the mornings will be dedicated to the Lectures while the afternoons will consist in the contributed workshop talks.

The even is aimed at a wide audience, from Master's and PhD students interested in proof theory to confirmed researchers working around proof theory and its applications in computer science, mathematics, linguistics and philosophy.

Scope

The School and Workshop aim to promote proof theory and its related areas in the broadest sense. Topics include but are not limited to:

Applied proof theory, e.g. proof mining
Formalised proofs
Structural proof theory
Linear logic
Computational interpretations of proofs
Computability and proofs, e.g. Reverse Mathematics
Ordinal analysis
Philosophy of proof theory
Proof systems and proof search
Proof complexity
Automated theorem proving