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?
What have Henry VIII and Elizabeth I got to do with 21st century development policy? Development is a key term in the modernising global world. It...
Arithmetic by Computer and by Human Long multiplication, long division and logarithms are, for many, dim-remembered...
Sir Christopher Wren: Buildings, Place and Genius Who makes great buildings patrons, architects and builders? Are successful...
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...
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...