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?
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...
An Introduction to Rare and Endangered Languages Professor Tim Connell provides an introduction to the field, with...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...
The Coalition and the Constitution Professor Bogdanor analyses the significance of coalition government for Britain...
The Changing Face of Britain: From Bowlby to Balls: Changes in the compatibility of motherhood and employment A wide-ranging examination of developments in social and political attitudes...
The Changing Face of Britain: An Introduction A wide-ranging examination of developments in social and political attitudes...