Website: https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meanings/
Dates: 11 Apr - 12 Apr
City: St Andrews
Host institution: University of St Andrews