Laboratory for Foundations of Computer Science
Jump to navigation
Jump to search
This article relies largely or entirely on a single source. (March 2024) |
This article only references primary sources.(March 2024) |
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
55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W
Categories:
- Articles with short description
- Short description matches Wikidata
- Articles needing additional references from March 2024
- All articles needing additional references
- Articles lacking reliable references from March 2024
- Use dmy dates from December 2016
- Use British English from December 2016
- Articles with VIAF identifiers
- Coordinates on Wikidata
- University of Edinburgh School of Informatics
- Science and technology in Edinburgh
- 1987 establishments in Scotland
- Research institutes established in 1987
- All stub articles
- Scotland education stubs
- Scottish organisation stubs
- United Kingdom university stubs
- Theoretical computer science stubs