Welcome to FACS

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 Specialist Group of the BCS, 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 Future 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.

How to Join: We welcome new members from both industry and academia. If you'd like to join FACS please refer to our online membership and subscription details.

For more general information on Formal Methods (news, notations, tools, publications, meetings, projects, companies, organisations, newsgroups, etc), try the Formal Methods Virtual Library.