Sponsored Activities

The following activities are aiming for goals aligning well with those of the Proof Society, and thus have been recognised as sponsored. To have your activity listed here as well please contact the chair of the Core Initiating Committee of the Proof Society.

  • The Proof Theory Blog: “The purpose of this website is to give proof theorists a venue to communicate ideas, works-in-progress, gems, or simply observations that may be relevant to the proof theory community” (Anupam Das, initiator of The Proof Theory Blog).
  • The Logic Online Seminar of Steklov Mathematical Institute.