Forthcoming Events

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

 

Date Details
1 March
2017
Title: BCS FACS - Half a Century of Formal Methods in Software Engineering: A Personal View
Venue: BCS, 1st Floor, The Davidson Building,
5 Southampton Street, London, WC2E 7HA
4 May
2017
Title: BCS FACS - Formal Methods Europe (FME) meeting (AGM)
Venue: BCS, 1st Floor, The Davidson Building,
5 Southampton Street, London, WC2E 7HA
4 May
2017
Title: The KeY Formal Verification Tool
Speaker: Prof Dr. Reiner Hähnle, TU Darmstadt, Germany
Venue: BCS, 1st Floor, The Davidson Building,
5 Southampton Street, London, WC2E 7HA