About: BCS-FACS

An Entity of Type: Specialist group, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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

Property	Value
dbo:abbreviation	FACS
dbo:abstract	BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group. (en)
dbo:affiliation	dbr:London_Mathematical_Society dbr:Formal_Methods_Europe
dbo:foundingDate	1978-03-16 (xsd:date)
dbo:keyPerson	dbr:Tim_Denvir dbr:Jawed_Siddiqi
dbo:leaderFunction	dbr:BCS-FACS__PersonFunction__1 dbr:BCS-FACS__PersonFunction__2 dbr:BCS-FACS__PersonFunction__3
dbo:mainOrgan	dbr:FACS_FACTS
dbo:namedAfter	dbr:Formal_methods
dbo:parentOrganisation	dbr:BCS,_The_Chartered_Institute_for_IT
dbo:purpose	Support forformal methodsactivities, especially meetings
dbo:regionServed	dbr:United_Kingdom
dbo:thumbnail	wiki-commons:Special:FilePath/BCS-FACS_logo.jpg?width=300
dbo:type	dbr:Specialist_group
dbo:wikiPageExternalLink	http://facs.bcs.org/ http://www.bcs-facs.org/ https://web.archive.org/web/20080415135359/http:/www.bcs-facs.org/ https://www.linkedin.com/groups/2427579/
dbo:wikiPageID	2578877 (xsd:integer)
dbo:wikiPageLength	12665 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1102169784 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Robin_Milner dbr:Royal_Society dbr:Samson_Abramsky dbr:David_Turner_(computer_scientist) dbr:Jonathan_Bowen dbr:Peter_Landin dbr:Peter_Mosses dbr:Peter_O'Hearn dbr:United_Kingdom dbr:University_of_London dbr:Ursula_Martin dbr:Order_of_the_British_Empire dbr:Communicating_Sequential_Processes dbr:Safety-Critical_Systems_Club dbr:Cliff_Jones_(computer_scientist) dbr:Egon_Börger dbr:Gordon_Plotkin dbr:Muffy_Calder dbr:LinkedIn dbr:London dbr:London_Mathematical_Society dbr:London_South_Bank_University dbr:Steve_Reeves_(computer_scientist) dbr:Steve_Schneider_(computer_scientist) dbr:Computer_science dbr:Z_User_Group dbr:Zhiming_Liu_(computer_scientist) dbr:Peter_Ryan_(computer_scientist) dbr:Michael_A._Jackson_(computer_scientist) dbr:Software_engineering dbr:British_Computer_Society dbr:Tom_Maibaum dbr:Tony_Hoare dbr:Joe_Stoy dbc:Non-profit_organisations_based_in_the_United_Kingdom dbc:Formal_methods_organizations dbr:European_Strategic_Program_on_Research_in_Information_Technology dbr:Fellow_of_the_Royal_Society dbr:France dbr:Centre_for_Software_Reliability dbr:Farhad_Arbab dbr:Formal_Aspects_of_Computing dbr:Formal_Methods_Europe dbr:Formal_methods dbr:John_V._Tucker dbr:Tim_Denvir dbr:Italy dbr:J._Anthony_Hall dbr:Jack_Copeland dbr:Jane_Hillston dbr:Archive.org dbc:Organizations_established_in_1978 dbc:1978_establishments_in_the_United_Kingdom dbc:BCS_Specialist_Groups dbr:Advanced_Programming_Group dbr:John_C._Reynolds dbr:Switzerland dbr:Jawed_Siddiqi dbr:Jean-Raymond_Abrial dbr:Dines_Bjørner dbr:BCS,_The_Chartered_Institute_for_IT dbr:BCSWomen dbr:Marta_Kwiatkowska dbr:Martin_Henson dbr:COMEFROM dbr:Springer_Science+Business_Media dbr:Michael_Butler_(computer_scientist) dbr:Michael_J._C._Gordon dbr:Netherlands dbr:New_Zealand dbr:Mark_Harman_(computer_scientist) dbr:F._X._Reid dbr:FACS_FACTS dbr:Richard_Bornat dbr:Mike_Hinchey dbr:C._A._R._Hoare dbr:Phil_Wadler dbr:Specialist_group dbr:Royal_Holloway dbr:Ben_Moszkowski dbr:Cedric_Fournet dbr:File:Joe_Stoy.jpg dbr:File:Reynolds_John_small.jpg dbr:Jan_Broenink dbr:Mike_Holcombe dbr:Rob_Hierons dbr:Robin_Bloomfield
dbp:abbreviation	FACS (en)
dbp:affiliations	dbr:London_Mathematical_Society dbr:Formal_Methods_Europe
dbp:fields	dbr:Computer_science dbr:Software_engineering dbr:Formal_methods
dbp:formation	1978-03-16 (xsd:date)
dbp:fullName	BCS Formal Aspects of Computing Science (en)
dbp:headquarters	BCS London office (en)
dbp:keyPeople	dbr:Tim_Denvir dbr:Jawed_Siddiqi
dbp:language	English (en)
dbp:leaderName	dbr:Jonathan_Bowen John Cooke (en) Roger Carsley (en)
dbp:leaderTitle	Treasurer (en) Secretary (en) Chair (en)
dbp:locationCity	dbr:London
dbp:locationCountry	dbr:United_Kingdom
dbp:logo	BCS-FACS logo.jpg (en)
dbp:logoAlt	BCS-FACS logo (en)
dbp:logoSize	120 (xsd:integer)
dbp:mainOrgan	FACS FACTS (en)
dbp:methods	dbr:Formal_methods
dbp:name	BCS-FACS (en)
dbp:namedAfter	dbr:Formal_methods
dbp:parentOrganization	dbr:BCS,_The_Chartered_Institute_for_IT
dbp:purpose	Support for formal methods activities, especially meetings (en)
dbp:regionServed	dbr:United_Kingdom
dbp:services	Meeting organization, publications (en)
dbp:type	dbr:Specialist_group
dbp:website	http://facs.bcs.org/
dbp:wikiPageUsesTemplate	dbt:ISSN dbt:Infobox_organization dbt:Reflist dbt:Short_description dbt:Start_date_and_age dbt:Use_dmy_dates
dct:subject	dbc:Non-profit_organisations_based_in_the_United_Kingdom dbc:Formal_methods_organizations dbc:Organizations_established_in_1978 dbc:1978_establishments_in_the_United_Kingdom dbc:BCS_Specialist_Groups
gold:hypernym	dbr:Aspects
rdf:type	owl:Thing schema:Organization dul:Agent dul:SocialPerson dbo:Agent wikidata:Q24229398 wikidata:Q43229 yago:WikicatNewsletters yago:WikicatNon-profitOrganisationsBasedInTheUnitedKingdom yago:WikicatOrganizationsEstablishedIn1978 yago:Abstraction100002137 yago:Communication100033020 yago:Group100031264 yago:Information106634376 yago:Message106598915 yago:News106681177 yago:Newsletter106681976 yago:Organization108008335 yago:Report106681551 yago:YagoLegalActor yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity dbo:Organisation dbo:Settlement yago:SocialGroup107950920 yago:WikicatFormalMethodsOrganizations
rdfs:comment	BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group. (en)
rdfs:label	BCS-FACS (en)
owl:sameAs	freebase:BCS-FACS yago-res:BCS-FACS wikidata:BCS-FACS https://global.dbpedia.org/id/4Uimc
prov:wasDerivedFrom	wikipedia-en:BCS-FACS?oldid=1102169784&ns=0
foaf:depiction	wiki-commons:Special:FilePath/BCS-FACS_logo.jpg wiki-commons:Special:FilePath/Joe_Stoy.jpg wiki-commons:Special:FilePath/Reynolds_John_small.jpg
foaf:homepage	http://facs.bcs.org/
foaf:isPrimaryTopicOf	wikipedia-en:BCS-FACS
foaf:name	BCS-FACS (en)
is dbo:wikiPageRedirects of	dbr:Formal_Aspects_of_Computing_Science dbr:FACS_FACTS dbr:BCS_FACS
is dbo:wikiPageWikiLink of	dbr:Peter_Landin dbr:London_Mathematical_Society dbr:Steve_Reeves_(computer_scientist) dbr:Michael_W._Shields dbr:John_Fitzgerald_(computer_scientist) dbr:Formal_Aspects_of_Computing dbr:Formal_Methods_Europe dbr:Formal_methods dbr:Tim_Denvir dbr:Formal_Aspects_of_Computing_Science dbr:Advanced_Programming_Specialist_Group dbr:BCS,_The_Chartered_Institute_for_IT dbr:Martin_Henson dbr:FACS_FACTS dbr:BCS_FACS
is foaf:primaryTopic of	wikipedia-en:BCS-FACS