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.