Past events: 2018

Date Details
10 Dec 2018

Title: Annual Peter Landin Semantics Seminar: Algebraic methods for specification and formal development of software
Venue: BCS, The Chartered Institute for IT, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

10 Dec 2018

Title: FACS AGM
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

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

12 Oct 2018

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

15 Jul 2018

Title: FME Fellowship Award Ceremony
Venue: Mathematical Institute, University of Oxford, Andrew Wiles Building, Radcliffe Observatory Quarter (550), Woodstock Road, Oxford, OX2 6GG

21 May 2018

Title: Autonomics and their verification from BT's industrial perspective
Venue: BCS, The Chartered Institute for IT, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

25 Apr 2018

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

22 Mar 2018

Title: Model-Based Testing Cyber-Physical Systems: Theory and Practice
Venue: BCS, The Chartered Institute for IT, The Davidson Building, 5 Southampton Street, London, WC2E 7HA