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

Community content is available under CC-BY-SA unless otherwise noted.