Communities

The following communities have scope and goals similar to those of the Proof Society, and can be of interest to Proof Society members. 

  • 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 PTS-Network: A Home for Proof-Theoretic Semanticists