Making Software 'Correct by Construction' Is it possible to build software so that you know that is is correct? How could this be done? Has anyone tried? What would it cost?
Britain Needs an Ivy League Professor Kealey argues the case for world-class universities being established...
Human Livelihoods Depend on Wild Flowers: Kew’s Millennium Seed Bank explained In this talk Dr Robin Probert explains why human livelihoods...
The Universities - Over regulation A century ago, British universities started to receive government funds. ...
Emerging Markets and Climate Change This lecture considers the economic impact of climate change on...