Jump to content

Laboratory for Foundations of Computer Science

Coordinates: 55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by WikiCleanerBot (talk | contribs) at 14:39, 19 February 2025 (v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew Hennessy.[1] It is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.[2]

References

  1. ^ "LFCS 30 year anniversary". LFCS30. Retrieved 29 April 2016.
  2. ^ "Welcome to LFCS". LFCS home page. Retrieved 29 April 2016.

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


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.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Laboratory_for_Foundations_of_Computer_Science&oldid=1276553181"