The Proof Society was established at the Oberwolfach meeting Mathematical Logic: Proof Theory, Constructive Mathematics, November 5 – 11, 2017, with the aim to consolidate the community and to promote the research on proof theory and related scientific areas that consider ‘proofs’ as legitimate objects of their studies. The founding members formulated The Proof Manifesto stating the main goals of the Proof Society. Its practical activities started with the Proof Society Summer School and the affiliated Workshop on Proof theory and Its Applications, which took place in Ghent, Belgium, on September 2–7, 2018.
Since then, the Proof Society yearly organises a School and a Workshop in Proof Theory. Refer to the Past and Upcoming Events for more details.