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 - Text and Ideas: Maeterlinck's Golaud As title roles of both Maurice Maeterlinck’s play and Claude...
The Roman Denarius and the Euro: A precedent for monetary union? A look at the way the Roman Empire has sometimes...
The Life and Work of Mervyn Peake Often described as the ultimate Renaissance Man, Mervyn Peake was...
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)...
Tudor Health Reform: Panel Discussion Professor Tim Connell chairs a panel discussion exploring the issues...
Tudor Health Reform: The Form and Function of Medieval Hospitals Professor Carole Rawcliffe offers an overview of the hospital as...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...
Portugal and England, 1386-2010 Portugal and England, 1386-2010: A complex web of political, economic...