Related Activities

The following activities are aiming for goals aligning well with those 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 The PTS-Network: A Home for Proof-Theoretic Semanticists