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?
Philanthropy Old: Setting the Boundary Posts Philanthropy has always been a feature of public life from...
Leading at the Top: Power and Politics - An Introduction Professor Michael Mainelli introduces the symposium and outlines what he...
Acting on Evidence: How Medical Research has informed Historical Drama John Powell is an experienced medical advisor on a range...
Human Livelihoods Depend on Wild Flowers: Kew’s Millennium Seed Bank explained In this talk Dr Robin Probert explains why human livelihoods...
Thinking Theologically About Modern Art: Is there a God-shaped hole in contemporary art? Is there, as Allan Doig suggests, "a God-shaped hole in...
Thinking Theologically About Modern Art: Marching to an Antique Drum? Artist Roger Wagner offers an overview of his own career...
Thinking Theologically About Modern Art: A Sense of the Sacred? By exploring the architecture, stained glass windows and art installations...
Thinking Theologically About Modern Art: The Art of Modern Life? Professor George Pattison examines a number of works in light...