Welcome to FACS

Virtual Data Centre

Welcome to FACS, the BCS Specialist Group for practitioners in Formal Aspects of Computing Science.

With members drawn from both industry and academia, FACS acts as a bridge between the two communities, helping British industry to stay in the forefront of formal computer techniques, and British academics to maintain the applicability of their research.

In addition to arranging informal seminars to encourage technology transfer, we actively sponsor a number of related events throughout the year, either by direct subsidy, or else through the provision of prizes for outstanding research or technical presentation.

The aims of FACS are set out in our formal mission statement. As a BCS Specialist Group, we are run by an executive Management Committee and governed by a formal Constitution. We maintain a members' discussion list, and organise various workshops and other meetings (see Forthcoming Events).

At a more formal level we also publish a newsletter, and promote a related Journal to encourage dissemination of cutting-edge material in the field. FACS has links with several related organisations at both national and international level.

The group are looking for a willing volunteer to help record future events. If you are able to help, please contact sallyann.cossey@bcs.uk

Image: iStock/539954410

Books based on FACS seminars

Formal Methods: State of the Art and New Directions book cover  Provably Correct Systems book cover

Connect with us

LinkedIn logo

How to Join

We welcome new members from both industry and academia. If you'd like to join FACS please visit our How to join page.


Our newsletter, FACS FACTS, is distributed in electronic format. This newsletter is free with FACS membership.