BCS FACS - Formal Methods Europe (FME) meeting (AGM)

Date/Time: Thursday 4 May 2017, 3.15pm coffee/tea for 3.30pm start of meeting, till c.5.15pm.

BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA | Maps

Chair: Ana Cavalcanti, University of York


See also BCS-FACS evening seminar by Reiner Hähnle, TU Darmstadt, Germany, following immediately afterwards, for which separate booking is required.