Formal Methods Wiki
FACS sml logo

BCS-FACS
Mailing list
LinkedIn group

Wikipedia-word1 7

BCS-FACS


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[]

See also the FACS committee.

Events[]

See seminar information and past events.

Newsletters[]

FACS produces the FACS FACTS newsletter (ISSN 0950-1231 ) periodically, typically twice a year.

See newsletter information including past newsletters.

Books[]

See also[]

External links[]