About Mission statement and committees

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 Summerschool and the affiliated Workshop on Proof theory and Its Applications, which took place in Ghent, Belgium, on September 2–7, 2018.