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?
Human Livelihoods Depend on Wild Flowers: Kew’s Millennium Seed Bank explained In this talk Dr Robin Probert explains why human livelihoods...
Emerging Markets and Climate Change This lecture considers the economic impact of climate change on...
Rare and Endangered Languages - 'Why should we protect endangered languages?' Dr Nicholas Ostler argues for the preservation of the world's...
An Introduction to Rare and Endangered Languages Professor Tim Connell provides an introduction to the field, with...
Science's First Mistake: Delusions In Pursuit of Theory? Science is a perpetual search for new ideas, but this...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...