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...
Percy Grainger: Australia's greatest composer? We can think of world-leading Australians in sport (Don Bradman)...
Emerging Markets and Climate Change This lecture considers the economic impact of climate change on...
Science's First Mistake: Delusions In Pursuit of Theory? Science is a perpetual search for new ideas, but this...
Sir Hans Sloane: 350 years of preserving history An overview of the history of botanical collecting: the characters...
Mathematics, Motion, and Truth: The Earth goes round the Sun The reality of the Earth's motion, as proclaimed by Copernicus...