Forthcoming Events

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

 

Date Details
29 Sep 2017

Title: How can you trust formally verified software?
Speaker: Alastair Reid - ARM Ltd, UK
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

2 Nov 2017

Title: Symbolic Computation Techniques in SMT Solving
Speaker: Prof. Erika Abraham, University of Aachen
Venue: The London Mathematical Society De Morgan House, 57-58 Russell Square, London, WC1B 4HS

12 Dec 2017

Title: BCS FACS 2017 AGM
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

12 Dec 2017

Title: Annual Peter Landin Semantics Seminar: Compiling without continuations
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA