Diversity and Danger - 'The Liberal and the Plural' and 'Clash and Contribution' This symposium hosted in 2009, in association with the Lokahi...
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?
Utopia: The Symbol of Mount Athos in the West A conference held jointly with the Warburg Institute and the...
Covenants without Swords; Swords without Covenants Hobbes declared that 'covenants, without the sword, are but words'...
Why do people play the Lottery? Make up your mind! It has often been said that greed and fear drive...