BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP

Formal Aspects of Computing Science

JavaScript is Disabled
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.

EATCS Subscriptions

FACS no longer passes on EATCS (European Association for Theoretical Computer Science) subscriptions - these are now handled directly by the EATCS itself. You can subscribe using the form on their website, http://www.eatcs.org.

See also: FACS Membership

Formal Aspects of Computing Science

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