Laboratory_for_Foundations_of_Computer_Science

Laboratory for Foundations of Computer Science

Laboratory for Foundations of Computer Science

Academic institution in City of Edinburgh, Scotland, UK

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.[1]

References

  1. [1]
    "Welcome to LFCS". LFCS home page. Retrieved 29 April 2016.

55°55′16.5″N 3°10′25″W


Stub icon

This article relating to education in Scotland is a stub. You can help Wikipedia by expanding it.

Stub icon

This article about an organisation in Scotland is a stub. You can help Wikipedia by expanding it.

Stub icon

This United Kingdom university, college or other education institution article is a stub. You can help Wikipedia by expanding it.

P ≟ NP 

This theoretical computer science–related article is a stub. You can help Wikipedia by expanding it.
Share this article:

This article uses material from the Wikipedia article Laboratory_for_Foundations_of_Computer_Science, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.