Forthcoming BCS-FACS Specialist Group Evening Seminars

5.15pm tea/coffee for 6pm start of talk.
At BCS London office, 25 Copthall Avenue, London EC2R 7BP.
Nearest tube station, Moorgate.
For directions, see:
https://www.bcs.org/more/about-us/hire-our-london-office/


Privacy Assurance in Ubiquitous Systems by Typing in a Calculus of Context-aware Ambients
Francois Siewe, De Montfort University
27 February 2020 (tomorrow!)

Formal Methods: The National Physical Laboratory’s Experiences
Keith Lines, National Physical Laboratory (NPL)
17 March 2020

ABS: Modeling and analysis with resource-sensitive actors
Einar Broch Johnsen, University of Oslo, Norway
Joint event with FME (Formal Methods Europe)
9 April 2020

Delay Insensitive Circuits: An exercise in formal methods
Dennis Furey, Independent
28 May 2020

Quantum computing and formal methods
Richard Bornat and Raja Nagarajan, Middlesex University
24 June, 6:00pm


For further information and free online registration, see under:
https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/