Forthcoming Events

Forthcoming events from the Formal Aspects of Computing Science (FACS) Group are listed below.

Date Details
12 Oct 2018

Title: Unifying Theories of Refinement
Venue: BCS, The Chartered Institute for IT, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

17 Oct 2018

Title: Coresets at the heart of Big Data
Venue: BCS, The Chartered Institute for IT, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

1 Nov 2018

Title: Verifying CSP and its offspring
Venue: De Morgan House, 57–58 Russell Square, London, WC1B 4HS