Workshop on Proof Theory and its Application The Proof Theory Summer School will be followed by the Workshop on September 11-13, 2019. For more information click below: Facebook Twitter LinkedIn WhatsApp Messenger Email