FACS sml logo


Wikipedia-word1 7


BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. It organizes events concerned with formal methods in the United Kingdom, especially at the BCS offices in London.

Officers Edit

Selected events Edit

See also events including forthcoming events.

Newsletters Edit

ISSN 0950-1231 .

See also newsletter information including past newsletters.

Books Edit

See also Edit

External links Edit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.