BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP

Formal Aspects of Computing Science

JavaScript is Disabled
This site makes extensive use of JavaScript - if possible, please re-enable JavaScript and try again. If you prefer to leave JavaScript disabled, you can still access the information at this site, by using the links in our

NON-JS MENU PAGE.

Sorry for any inconvenience.

Welcome to FACS

FACS is a Specialist Group of the British Computer Society

FACS stands for Formal Aspects of Computing Science

The aims of FACS are set out in our Mission Statement. As a specialist group of the BCS, we are run by a Committee and governed by a Constitution.

We organise various workshops and other meetings (see Future Events), and publish a Newsletter. There is also a related Journal. If you want to join FACS please refer to our Membership and Subscription Details. FACS has links with several Related Organisations at both national and international level.

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

Formal Aspects of Computing Science line 101. br>

Additional Keywords: Formal Aspects of Computer Science, Formal Methods, Computer Science, Computing Science