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 on April 21st, 2021 0 likes 49 plays 0  

Can Charging for Plastic Bags Control Plastic Pollution

Hokkaido Conference

From  Brian Mather on November 16th, 2020 0 likes 7 plays 0  

EPCC-PS-Conclusion-2.3-BestPracticesII

Conclusion (video 2)

From  Michael Jackson on July 29th, 2020 0 likes 19 plays 0