Proof Society Summer School is going to take place at our Computational Foundry this September. For more information and to apply, please click on the image below: