Formal Methods Wiki
FACS sml logo

BCS-FACS

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

Selected events[]

See also events including forthcoming events.

Newsletters[]

ISSN 0950-1231 .

See also newsletter information including past newsletters.

Books[]

See also[]

External links[]