Formal Methods Wiki
Advertisement

BCS-FACS

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

Advertisement