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?
The Grande Messe des Morts and the Absence of God David Cairns delivers this lecture ahead of the City of...
Debussy - Text and Ideas: The 'Song Triptych', and fin-de-siecle Visual Culture Debussy composed eight sets of three songs between 1891 and...
Whither to the Creeping Paralysis? Progress on the road to curing motor neuron disease The lecture will cover a description of how we diagnose...
Voices of the Land: Nga Reo o te Whenua In his solo presentation of traditional instruments (taonga puoro), Richard...
Culture and Resistance: Indigenous Responses to a Globalised World This lecture looks at the place occupied by indigenous cultures...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...
Sir Christopher Wren: Buildings, Place and Genius Who makes great buildings patrons, architects and builders? Are successful...