Advertisement
FACS sml logo.jpg
BCS-FACS

Wikipedia-word1 7.png


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

Selected events

See also events including forthcoming events.

Newsletters

ISSN 0950-1231 .

See also newsletter information including past newsletters.

Books

See also

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

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE