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?
Voices of the Land: Nga Reo o te Whenua In his solo presentation of traditional instruments (taonga puoro), Richard...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...
Press Coverage of Mental Health and Suicide A reflection on press coverage of mental health issues and...
How mental health law discriminates unfairly against people with mental illness Mental health legislation in most jurisdictions (including England and Wales)...
Decision-making in Health and Disease: The Disordered Brain and The Social Brain The talks in this second part of the symposium include...
Decision-making in Health and Disease: The Mathematical Brain & The Fussy Brain The talks in this first part of the symposium include...
Sir Christopher Wren: Buildings, Place and Genius Who makes great buildings patrons, architects and builders? Are successful...