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