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  Jane Walker 0 likes 63 plays 0  

Can Charging for Plastic Bags Control Plastic Pollution

Hokkaido Conference

From  Brian Mather 0 likes 10 plays 0