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?
Policy making through a public prism Tony Stoller, Chair of the Joseph Rowntree Foundation and the...
Human Livelihoods Depend on Wild Flowers: Kew’s Millennium Seed Bank explained In this talk Dr Robin Probert explains why human livelihoods...
The Grande Messe des Morts and the Absence of God David Cairns delivers this lecture ahead of the City of...
Emerging Markets and Climate Change This lecture considers the economic impact of climate change on...
Science's First Mistake: Delusions In Pursuit of Theory? Science is a perpetual search for new ideas, but this...