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: Jawed Siddiqi
- Treasurer: Jonathan Bowen
- Secretary: Paul Boca
Events
- Reasoning about Programs using a Scientific Method, Prof. Peter O'Hearn, London Mathematical Society↑, 16 November 2010
Newsletters
- Issue 2009-1, July 2009
- Issue 2009-2, December 2009
See also
External links
- BCS-FACS website
- Wikipedia: BCS-FACS
- BCS website
- FACS mailing list on JISCmail↑
- BCS-FACS group on LinkedIn↑