Laboratory for Foundations of Computer Science
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
- ^ "Welcome to LFCS". LFCS home page. Retrieved 29 April 2016.
External links
- LFCS website
- People
55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361
- v
- t
- e
This article about an organisation in Scotland is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e
This United Kingdom university, college or other education institution article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e
P ≟ NP | This theoretical computer science–related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e