BCS-FACS

BCS-FACS is the British Computer Society "Formal Aspects of Computing Science" Specialist Group. The group, founded in 1978, 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.

The group celebrated its 20th anniversary with a meeting at the Royal Society in London in 1998, with presentations by four eminent computer scientists, Mike Gordon, Tony Hoare, Robin Milner and Gordon Plotkin, all Fellows of the Royal Society.

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" ( [http://www.lsbu.ac.uk/menass/fasec/ FASec'02] ) at Royal Holloway, University of London [Ali E. Abdallah, Peter Ryan and Steve Schneider (editors), "Formal Aspects of Security". Springer Science+Business Media, Lecture Notes in Computer Science, Volume 2629, 2003. ISBN 3-540-20693-0.] . In 2004, FACS organized a major event at London South Bank University to celebrate its own 25th anniversary and also "25 Years of CSP" ( [http://www.lsbu.ac.uk/menass/csp25/ CSP25] ), attended by the origination of CSP, Sir Tony Hoare, and others in the field [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.] .

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. It has held joint meetings with other BCS specialist groups such as the Advanced Programming Group and BCSWomen.

FACS sponsors and supports meetings, such as the Refinement Workshop [John Derrick, Eerke Boiten, Jim Woodcock and Joakim von Wright (editors), [http://www.cs.kent.ac.uk/pubs/2002/1563/ REFINE 2002: The BCS FACS Refinement Workshop] . "Electronic Notes in Theoretical Computer Science", 70(3). Elsevier Science Publishers, July 2002.] . It often holds a Christmas event each year, with a theme related to formal aspects of computing (for example, teaching formal methods [Paul Boca, Jonathan P. Bowen and David A. Duce (editors), [http://www.bcs.org/ewic/tfm2006 Teaching Formal Methods: Practice and Experience] , BCS London Office, UK, 15 December 2006. [http://www.bcs.org/ewic Electronic Workshops in Computing] (eWiC), BCS, 2006.] ). It recent years, a series of evening seminars have been held, mainly at the BCS London office. Speakers have included leading computer scientists, mainly from the UK but some from abroad, including Samson Abramsky, Jean-Raymond Abrial (France/Switzerland), Dines Bjørner (Denmark), Richard Bornat, Egon Börger (Italy), Muffy Caulder, Michael Butler, Martin Henson, Anthony Hall, Jane Hillston, Michael Jackson, Cliff Jones, Tom Maibaum, Ursula Martin, Peter Mosses, Ben Moszkowski, Steve Reeves (New Zealand), Peter Ryan, among others.

ee also

* British Computer Society
* FACS
* Formal methods
* Formal Methods Europe (FME)
* F. X. Reid, "FACS FACTS" contributor
* Jawed Siddiqi, treasurer

References

External links

* [http://www.bcs-facs.org/ BCS-FACS website]
* [http://www.bcs-facs.org/events/ BCS-FACS events]
* [http://www.lsbu.ac.uk/menass/fasec/ FASec'02 conference] , 2002
* [http://www.lsbu.ac.uk/menass/csp25/ CSP25 conference] , 2004
* [http://www.abz2008.org/ ABZ conference] , 2008