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.

  • Proof Theory Virtual Seminar: “The Proof Theory Virtual Seminar, which is affiliated with The Proof Society, presents talks by leading researchers from all areas of proof theory. Everyone who is interested in the subject is warmly invited to attend!”
  • 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.