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?
God's Good Order and the Artist's Patterns For centuries of western history, the beauty of art was...
Incest and Folk-Dancing: Two things to be avoided How closely are we related to each other, and how...
Acting on Evidence: How Medical Research has informed Historical Drama John Powell is an experienced medical advisor on a range...
Panel Discussion: Why wait for a generation? What can be done now? A panel of young people with experience of tackling inequalities...