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?
Human Livelihoods Depend on Wild Flowers: Kew’s Millennium Seed Bank explained In this talk Dr Robin Probert explains why human livelihoods...
Debussy - Text and Ideas: Movement in Space Manuela Toscano argues that Debussy’s ‘songe musical’ is inspired by...
Debussy - Text and Ideas: The 'Song Triptych', and fin-de-siecle Visual Culture Debussy composed eight sets of three songs between 1891 and...
Debussy - Text and Ideas: The Acte en vers Until recently Debussy's heritage has been skewed by our lack...
Debussy - Text and Ideas: The reconstruction of Debussy's 'other' Poe opera In August 1903, Debussy wrote a scenario in one act...