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...
Mahler: ''My time will come'' Mahler's legacy, vision and philosophy, and his influence on subsequent...
Undecidable and Decidable Problems in Mathematics: A survey and some reflections, for the centenary of Turing's birth What are the limits of proof, and what follows? –...
Early Mathematics Day: My trip to India to Uncover the Truth about Vedic Mathematics A lecture by Alex Bellos, freelance writer and broadcaster.
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...
Early Mathematics Day: Money and Mathematics A lecture considering the links between money and maths within...
Early Mathematics Day: The Archimedes Codex A lecture on the Archimedes Palimpsest, delivered by Professor Reviel...