Welcome to FACS

Formal Aspects of Computing Science Specialist Group logo

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.

Book based on FACS seminars is now available

Formal Methods: State of the Art and New Directions (Book Cover)

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.

Newsletter

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