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?
Mathematics in the 20th century: Chaos, codes and colouring What is the Mandelbrot set? How can prime numbers protect...
Mathematics in the modern age - The 19th century: Revolution or evolution? What is a number? Can you solve a quintic equation...
Mathematics in the modern age - The 18th century: Crossing bridges What shape is the Earth? How do strings vibrate? Can...
Front line infectious disease control at Britain's borders John Averns, Port Health Director, London Port Health Authority. The...