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...
The Roman Denarius and the Euro: A precedent for monetary union? A look at the way the Roman Empire has sometimes...
Whither to the Creeping Paralysis? Progress on the road to curing motor neuron disease The lecture will cover a description of how we diagnose...
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...
Early Mathematics Day: The Archimedes Codex A lecture on the Archimedes Palimpsest, delivered by Professor Reviel...