BCS-FACS
From Wikipedia, the free encyclopedia
BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal, Formal Aspects of Computing, published by Springer, and a more informal FACS FACTS newsletter.
Since 2002, the Chair of BCS-FACS has been Jonathan Bowen. In December of that year, BCS-FACS organized a conference on the Formal Aspects of Security (FASec'02) at Royal Holloway, University of London [1]. In 2004, FACS organized a major event at London South Bank University to celebrate its own 25th anniversary and also 25 Years of CSP (CSP25), attended by the origination of CSP, Sir Tony Hoare, and others in the field [2].
The group liaises with other related groups such as the Centre for Software Reliability, Formal Methods Europe, the London Mathematical Society Computer Committee and the Z User Group.
[edit] See also
- British Computer Society
- FACS
- Formal methods
- Formal Methods Europe (FME)
- F. X. Reid, FACS FACTS contributor
- Jawed Siddiqi, treasurer
[edit] References
- John Derrick, Eerke Boiten, Jim Woodcock and Joakim von Wright (editors), REFINE 2002: The BCS FACS Refinement Workshop. Electronic Notes in Theoretical Computer Science, 70(3). Elsevier Science Publishers, July 2002.
- Ali E. Abdallah, Peter Ryan and Steve Schneider (editors), Communicating Formal Aspects of Security. Springer Science+Business Media, Lecture Notes in Computer Science, Volume 2629, 2003. ISBN 3-540-20693-0.
- Ali E. Abdallah, Cliff B. Jones and Jeff W. Sanders (editors), Communicating Sequential Processes: The First 25 Years. Springer, Lecture Notes in Computer Science, Volume 3525, 2005. ISBN 3-540-25813-2.
