Search for tag: "bugs"

BMC BAMC 2021 Kevin Buzzard

6-9 April 2021, BMC BAMC 2021 Titled: When Will Computers Prove Theorems? This was a BMC morning talk by Kevin Buzzard (Imperial College London) This session was supported by the Edinburgh…

From  Sophia Martin 0 likes 53 plays 0  

Can Charging for Plastic Bags Control Plastic Pollution

Hokkaido Conference

From  Brian Mather 0 likes 9 plays 0  

EPCC-PS-Conclusion-2.3-BestPracticesII

Conclusion (video 2)

From  Michael Jackson 0 likes 19 plays 0