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

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

External links

Coordinates: 55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361



This page was last updated at 2019-11-15 05:07 UTC. Update now. View original page.

All our content comes from Wikipedia and under the Creative Commons Attribution-ShareAlike License.


Top

If mathematical, chemical, physical and other formulas are not displayed correctly on this page, please useFirefox or Safari