BCS-FACS

BCS-FACS
BCS Formal Aspects of Computing Science
AbbreviationFACS
Named afterFormal methods
Formation16 March 1978 (1978-03-16)
TypeSpecialist group
PurposeSupport for formal methods activities, especially meetings
HeadquartersBCS London office
Location
Region served
United Kingdom
ServicesMeeting organization, publications
MethodsFormal methods
FieldsComputer science, software engineering, formal methods
Official language
English
Chair
Keith Lines
Treasurer
Roger Carsley
Secretary
Alvaro Miyazawa
Key people
Jonathan Bowen, John Cooke, Tim Denvir, Jawed Siddiqi
Main organ
FACS FACTS
Parent organization
BCS, The Chartered Institute for IT
AffiliationsFormal Methods Europe;
London Mathematical Society
Websitefacs.bcs.org

BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.