Website: https://proof-mining-workshop.github.io/
Dates: 07 Sep - 09 Sep
City: Bath
Host institution: University of Bath