
Mailing list
LinkedIn group

BCS-FACS is the British Computer Society↑ Formal Aspects of Computing Science Specialist Group. It organizes events concerned with formal methods in the United Kingdom↑, especially at the BCS offices in London↑.
Officers[]
- Chair: Jonathan Bowen
- Treasurer: John Cooke
- Secretary: Roger Carsley
See also the FACS committee.
Events[]
See seminar information and past events.
Newsletters[]
FACS produces the FACS FACTS newsletter (ISSN 0950-1231 ) periodically, typically twice a year.
See newsletter information including past newsletters.
Books[]
- Paul Boca, Jonathan Bowen, and Jawed Siddiqi, Formal Methods: State of the Art and New Directions. London: Springer-Verlag↑, 2010. ISBN 978-1-84882-735-6, e-ISBN 978-1-84882-736-3, DOI: 10.1007/978-1-84882-736-3
See also[]
External links[]
- BCS-FACS website (also here)
- Wikipedia: BCS-FACS
- BCS website
- FACS mailing list on JISCmail↑
- BCS-FACS group on LinkedIn↑