Featured
Workshop: Proofs, Rules, and Meanings
School V and via MS Teams United College, St Salvator's Quad, St Andrews, United KingdomThe workshop 'Proofs, Rules, and Meanings' is set to take place at the University of St Andrews (School V, United College, and livestreamed via Microsoft...