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?
Euler - 300th anniversary lecture Leönhard Euler (born 15 April 1707), the 'Mozart of mathematics'...
Brahms, Joachim and Clara Schumann - Chamber Domaine A rare opportunity to hear compositions by Joachim and Clara...
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...