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 Roman Denarius and the Euro: A precedent for monetary union? A look at the way the Roman Empire has sometimes...
Thinking Theologically About Modern Art: A Sense of the Sacred? By exploring the architecture, stained glass windows and art installations...
St. Paul's Cathedral at 300: The Recent Refurbishment Project A continuation of the story of St Paul's... 2011 is...
Culture and Resistance: Indigenous Responses to a Globalised World This lecture looks at the place occupied by indigenous cultures...
Rare and Endangered Languages: Panel Discussion Professor Michael Mainelli chairs a panel discussion with Dr Nicholas...
Rare and Endangered Languages: Language Documentation and Revitalisation Professor Peter Austin outlines a number of projects aimed at...
Rare and Endangered Languages - 'Why should we protect endangered languages?' Dr Nicholas Ostler argues for the preservation of the world's...