BCS-FACS - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Non-profit organisation based in the United Kingdom Organization established in 1978 1978 establishment in the United Kingdom Formal methods organization
rdfs:label	BCS-FACS
owl:sameAs	dbr:BCS-FACS
clgo:mainOrgan	BCS-FACS
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/BCS,_The_Chartered_Institute_for_IT http://en.wikipedia.org/wiki/Category:Non-profit_organisations_based_in_the_United_Kingdom http://en.wikipedia.org/wiki/Formal_methods http://en.wikipedia.org/wiki/Category:1978_establishments_in_the_United_Kingdom http://en.wikipedia.org/wiki/Category:Organizations_established_in_1978 http://en.wikipedia.org/wiki/Category:Formal_methods_organizations
skos:prefLabel	BCS-FACS
skos:altLabel	FACS BCS-FACS#FACS FACTS newsletter
clgo:abbreviation	FACS
clgo:affiliation	Formal Methods Europe London Mathematical Society
clgo:foundingDate	1978-03-16
clgo:keyPerson	Tim Denvir Jawed Siddiqi
clgo:namedAfter	Formal methods
clgo:parentOrganisation	BCS, The Chartered Institute for IT
clgo:purpose	Support forformal methodsactivities, especially meetings
clgo:regionServed	United Kingdom
clgo:type	Nonprofit organization Users' group
is clgo:mainOrgan of	BCS-FACS

About: clgr:BCS-FACS