Les 8^ème École International et Atelier de la Proof Society sont organisés par l'IRIF et se tiendront dans les Alpes, à Aussois. L'événement se déroule sous le patronage de The Proof Society, une société savante dont le but est de promouvoir la notion de preuve dans son sens le plus large. La Proof Society a organisé une école annuelle et un workshop depuis 2018 (à part en 2020 du fait de la pandémie de COVID19).

Le but de l'École est de couvrir des sujets de base comme des sujets avancés en Théorie de la Démonstration et ses sujets connexes. Le workshop consistera en un mélange d'exposés contribués et d'exposés invités.

Cette année, dans le but de mieux intégrer les deux événements, les matinées seront consacrées à l'École tandis que les après-midi seront consacrés aux exposés du workshop. 

L'école et le workshop s'adressent à un large public allant des étudiants de master et de doctorat intéressés par la théorie de la démonstration jusqu'aux chercheurs confirmés travaillant dans tous les aspects de la théorie de la démonstration et de ses applications à l'informatique, aux mathématiques, à la linguistique et à la philosophie.

L'École et le Workshop visent à promouvoir la théorie de la démonstration et les domaines liés dans le sens le plus large possible. Les thématiques d'intérêt comprennent notamment (sans que ce soit exhausitf)::

• Théorie de la démonstration appliquée, ex. proof mining
• Preuves formalisées
• Théorie de la démonstration structurelle
• Logique Linéaire
• Interprétation calculatoire des preuves
• Calculabilité et démonstration, par ex. Mathématiques à rebours
• Analyse ordinale
• Philosophie de la théorie de la démonstration
• Systèmes de preuves et recherche de preuves
• Complexité des preuves
• Preuve automatique