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?
Time for a Change: Introducing irreversible time in economics An exploration of the remarkable consequences of using Boltzmann's 1870s...
Human Livelihoods Depend on Wild Flowers: Kew’s Millennium Seed Bank explained In this talk Dr Robin Probert explains why human livelihoods...
To Wear or Not to Wear: Changing social norms with regard to eyewear Studying the history of spectacles brings together the twin themes...