BCS-FACS

http://dbpedia.org/resource/BCS-FACS an entity of type: Thing

BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group. rdf:langString
rdf:langString BCS-FACS
rdf:langString BCS-FACS
rdf:langString BCS-FACS
xsd:integer 2578877
xsd:integer 1102169784
rdf:langString FACS FACTS
rdf:langString FACS
xsd:date 1978-03-16
rdf:langString BCS Formal Aspects of Computing Science
rdf:langString BCS London office
rdf:langString English
rdf:langString John Cooke
rdf:langString Roger Carsley
rdf:langString Treasurer
rdf:langString Secretary
rdf:langString Chair
rdf:langString BCS-FACS logo.jpg
rdf:langString BCS-FACS logo
xsd:integer 120
rdf:langString Support for formal methods activities, especially meetings
rdf:langString Meeting organization, publications
rdf:langString BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.
xsd:nonNegativeInteger 12665
xsd:string FACS
xsd:date 1978-03-16
xsd:string Support forformal methodsactivities, especially meetings
owl:Thing
schema-org:Organization
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Agent>
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#SocialPerson>
dbpedia-owl:Agent
<http://www.wikidata.org/entity/Q24229398>
<http://www.wikidata.org/entity/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
dbpedia-owl:Organisation
dbpedia-owl:Settlement
yago:SocialGroup107950920
yago:WikicatFormalMethodsOrganizations
<http://facs.bcs.org/>
<http://commons.wikimedia.org/wiki/Special:FilePath/BCS-FACS_logo.jpg>
<http://commons.wikimedia.org/wiki/Special:FilePath/Joe_Stoy.jpg>
<http://commons.wikimedia.org/wiki/Special:FilePath/Reynolds_John_small.jpg>
dbpedia:Category:Non-profit_organisations_based_in_the_United_Kingdom
dbpedia:Category:Formal_methods_organizations
dbpedia:Category:Organizations_established_in_1978
dbpedia:Category:1978_establishments_in_the_United_Kingdom
dbpedia:Category:BCS_Specialist_Groups
dbpedia:Robin_Milner
dbpedia:Royal_Society
dbpedia:Samson_Abramsky
dbpedia:David_Turner_(computer_scientist)
dbpedia:Jonathan_Bowen
dbpedia:Peter_Landin
dbpedia:Peter_Mosses
dbpedia:Peter_O'Hearn
dbpedia:United_Kingdom
dbpedia:University_of_London
dbpedia:Ursula_Martin
dbpedia:Order_of_the_British_Empire
dbpedia:Communicating_Sequential_Processes
dbpedia:Safety-Critical_Systems_Club
dbpedia:Cliff_Jones_(computer_scientist)
dbpedia:Egon_Börger
dbpedia:Gordon_Plotkin
dbpedia:Muffy_Calder
dbpedia:LinkedIn
dbpedia:London
dbpedia:London_Mathematical_Society
dbpedia:London_South_Bank_University
dbpedia:Steve_Reeves_(computer_scientist)
dbpedia:Steve_Schneider_(computer_scientist)
dbpedia:Computer_science
dbpedia:Z_User_Group
dbpedia:Zhiming_Liu_(computer_scientist)
dbpedia:Peter_Ryan_(computer_scientist)
dbpedia:Michael_A._Jackson_(computer_scientist)
dbpedia:Software_engineering
dbpedia:British_Computer_Society
dbpedia:Tom_Maibaum
dbpedia:Tony_Hoare
dbpedia:Joe_Stoy
dbpedia:Category:Non-profit_organisations_based_in_the_United_Kingdom
dbpedia:Category:Formal_methods_organizations
dbpedia:European_Strategic_Program_on_Research_in_Information_Technology
dbpedia:Fellow_of_the_Royal_Society
dbpedia:France
dbpedia:Centre_for_Software_Reliability
dbpedia:Farhad_Arbab
dbpedia:Formal_Aspects_of_Computing
dbpedia:Formal_Methods_Europe
dbpedia:Formal_methods
dbpedia:John_V._Tucker
dbpedia:Tim_Denvir
dbpedia:Italy
dbpedia:J._Anthony_Hall
dbpedia:Jack_Copeland
dbpedia:Jane_Hillston
dbpedia:Archive.org
dbpedia:Category:Organizations_established_in_1978
dbpedia:Category:1978_establishments_in_the_United_Kingdom
dbpedia:Category:BCS_Specialist_Groups
dbpedia:Advanced_Programming_Group
dbpedia:John_C._Reynolds
dbpedia:Switzerland
dbpedia:Jawed_Siddiqi
dbpedia:Jean-Raymond_Abrial
dbpedia:Dines_Bjørner
dbpedia:BCS,_The_Chartered_Institute_for_IT
dbpedia:BCSWomen
dbpedia:Marta_Kwiatkowska
dbpedia:Martin_Henson
dbpedia:COMEFROM
dbpedia:Springer_Science+Business_Media
dbpedia:Michael_Butler_(computer_scientist)
dbpedia:Michael_J._C._Gordon
dbpedia:Netherlands
dbpedia:New_Zealand
dbpedia:Mark_Harman_(computer_scientist)
dbpedia:F._X._Reid
dbpedia:FACS_FACTS
dbpedia:Richard_Bornat
dbpedia:Mike_Hinchey
dbpedia:C._A._R._Hoare
dbpedia:Phil_Wadler
dbpedia:Specialist_group
dbpedia:Royal_Holloway
dbpedia:Ben_Moszkowski
dbpedia:Cedric_Fournet
dbpedia:File:Joe_Stoy.jpg
dbpedia:File:Reynolds_John_small.jpg
dbpedia:Jan_Broenink
dbpedia:Mike_Holcombe
dbpedia:Rob_Hierons
dbpedia:Robin_Bloomfield
<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/>
<http://rdf.freebase.com/ns/m.07p9z4>
<http://yago-knowledge.org/resource/BCS-FACS>
<http://www.wikidata.org/entity/Q4835228>
<https://global.dbpedia.org/id/4Uimc>
dbpedia:Template:ISSN
dbpedia:Template:Infobox_organization
dbpedia:Template:Reflist
dbpedia:Template:Short_description
dbpedia:Template:Start_date_and_age
dbpedia:Template:Use_dmy_dates
<http://commons.wikimedia.org/wiki/Special:FilePath/BCS-FACS_logo.jpg?width=300>
dbpedia:London_Mathematical_Society
dbpedia:Formal_Methods_Europe
dbpedia:Computer_science
dbpedia:Software_engineering
dbpedia:Formal_methods
dbpedia:Tim_Denvir
dbpedia:Jawed_Siddiqi
dbpedia:Jonathan_Bowen
dbpedia:London
dbpedia:United_Kingdom
dbpedia:Formal_methods
dbpedia:Formal_methods
dbpedia:United_Kingdom
dbpedia:Specialist_group
<http://facs.bcs.org/>
dbpedia:BCS,_The_Chartered_Institute_for_IT
dbpedia:FACS_FACTS
dbpedia:Aspects
<http://en.wikipedia.org/wiki/BCS-FACS?oldid=1102169784&ns=0>
dbpedia:London_Mathematical_Society
dbpedia:Formal_Methods_Europe
dbpedia:Tim_Denvir
dbpedia:Jawed_Siddiqi
dbpedia:BCS-FACS__PersonFunction__1
dbpedia:BCS-FACS__PersonFunction__2
dbpedia:BCS-FACS__PersonFunction__3
dbpedia:Formal_methods
dbpedia:BCS,_The_Chartered_Institute_for_IT
dbpedia:United_Kingdom
dbpedia:Specialist_group
<http://en.wikipedia.org/wiki/BCS-FACS>

data from the linked data cloud