Title: Unifying Theories of Refinement 
Speaker:  Prof. He Jifeng (with introductory remarks by Prof. Sir Tony Hoare and summary by Prof. Jim Woodcock)

Venue: BCS, The Chartered Institute for IT, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

Title: Coresets at the heart of Big Data 
Speaker:  Stephane Chretien, NPL

Venue: BCS, The Chartered Institute for IT, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

Title: Verifying CSP and its offspring 
Speaker: Prof. Bill Roscoe, University of Oxford  

Venue: De Morgan House, 57–58 Russell Square, London, WC1B 4HS