dbo:abstract |
The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling. (en) Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті.Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками .Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін. (uk) |
dbo:wikiPageExternalLink |
http://www.lfcs.inf.ed.ac.uk/ http://www.lfcs.inf.ed.ac.uk/people/ |
dbo:wikiPageID |
2818171 (xsd:integer) |
dbo:wikiPageLength |
1443 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID |
1106172077 (xsd:integer) |
dbo:wikiPageWikiLink |
dbr:Scotland dbr:Algorithm dbr:University_of_Edinburgh dbr:University_of_Edinburgh_School_of_Informatics dbr:Concurrency_(computer_science) dbr:1987 dbr:Computational_complexity_theory dbr:Computer_scientist dbr:Type_theory dbr:Database_theory dbr:Algebra dbc:1987_establishments_in_Scotland dbc:Educational_institutions_established_in_1987 dbc:University_of_Edinburgh_School_of_Informatics dbc:Science_and_technology_in_Edinburgh dbr:Category_theory dbr:Semantics_(computer_science) dbr:Formal_logic |
dbp:wikiPageUsesTemplate |
dbt:Scotland-edu-stub dbt:Scotland-org-stub dbt:Authority_control dbt:Coord dbt:Reflist dbt:Short_description dbt:Use_British_English dbt:Use_dmy_dates dbt:UK-university-stub dbt:Comp-sci-theory-stub |
dcterms:subject |
dbc:1987_establishments_in_Scotland dbc:Educational_institutions_established_in_1987 dbc:University_of_Edinburgh_School_of_Informatics dbc:Science_and_technology_in_Edinburgh |
georss:point |
55.92125 -3.173611111111111 |
rdf:type |
owl:Thing yago:WikicatComputerScienceDepartmentsInTheUnitedKingdom geo:SpatialThing yago:Abstraction100002137 yago:AdministrativeUnit108077292 yago:Department108114861 yago:Division108220714 yago:Group100031264 yago:Organization108008335 yago:YagoLegalActor yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity yago:SocialGroup107950920 yago:Unit108189659 |
rdfs:comment |
The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling. (en) Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті.Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками .Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін. (uk) |
rdfs:label |
Laboratory for Foundations of Computer Science (en) Лабораторія основ інформатики LFCS (uk) |
owl:sameAs |
freebase:Laboratory for Foundations of Computer Science yago-res:Laboratory for Foundations of Computer Science http://d-nb.info/gnd/290148-1 http://viaf.org/viaf/146031832 wikidata:Laboratory for Foundations of Computer Science dbpedia-uk:Laboratory for Foundations of Computer Science https://global.dbpedia.org/id/4qCVJ |
geo:geometry |
POINT(-3.173611164093 55.921249389648) |
geo:lat |
55.921249 (xsd:float) |
geo:long |
-3.173611 (xsd:float) |
prov:wasDerivedFrom |
wikipedia-en:Laboratory_for_Foundations_of_Computer_Science?oldid=1106172077&ns=0 |
foaf:isPrimaryTopicOf |
wikipedia-en:Laboratory_for_Foundations_of_Computer_Science |
is dbo:wikiPageDisambiguates of |
dbr:LFCS |
is dbo:wikiPageRedirects of |
dbr:Laboratory_for_foundations_of_computer_science |
is dbo:wikiPageWikiLink of |
dbr:Robin_Milner dbr:Rod_Burstall dbr:Peter_Buneman dbr:University_of_Edinburgh dbr:University_of_Edinburgh_College_of_Science_and_Engineering dbr:Don_Sannella dbr:Gordon_Plotkin dbr:Bernhard_Steffen_(computer_scientist) dbr:Aggelos_Kiayias dbr:Faron_Moller dbr:Jane_Hillston dbr:Laboratory_for_foundations_of_computer_science dbr:Arnon_Avron dbr:Philip_Wadler dbr:Michael_Fourman dbr:OCaml dbr:Chris_Tofts dbr:LFCS |
is dbp:workInstitution of |
dbr:Peter_Buneman dbr:Gordon_Plotkin |
is foaf:primaryTopic of |
wikipedia-en:Laboratory_for_Foundations_of_Computer_Science |