BCS Formal Aspects of Computing Science | |
 | |
| Abbreviation | FACS |
|---|---|
| Named after | Formal methods |
| Formation | 16 March 1978 |
| Type | Specialist group |
| Purpose | Support for formal methods activities, especially meetings |
| Headquarters | BCS London office |
| Location | |
Region served | United Kingdom |
| Services | Meeting organization, publications |
| Methods | Formal methods |
| Fields | Computer science, software engineering, formal methods |
Official language | English |
Chair | Jonathan Bowen |
Treasurer | John Cooke |
Secretary | Roger Carsley |
Key people | Tim Denvir, Jawed Siddiqi |
Main organ | FACS FACTS |
Parent organization | BCS, The Chartered Institute for IT |
| Affiliations | Formal Methods Europe; London Mathematical Society |
| Website | facs.bcs.org |
BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.