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?
Debussy and Mallarme: Symbolism and Les Mardistes Les Mardistes was a group of intellectuals who met every...
Mathematics, Motion, and Truth: The Earth goes round the Sun The reality of the Earth's motion, as proclaimed by Copernicus...
Metamorphoses – The Terrible Beauty of Change A Fusion of Benjamin Britten's "Six Metamorphoses After Ovid" (Op.49)...
Diversity and Danger - 'The Liberal and the Plural' and 'Clash and Contribution' This symposium hosted in 2009, in association with the Lokahi...
Calisto a le stelle: Cavalli and the Staging of Venetian Opera - Part Three The third part of this study day included a panel...