GeezerVison

This article relies on a single source. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Laboratory for Foundations of Computer Science" – news · newspapers · books · scholar · JSTOR (March 2024) (Learn how and when to remove this message)

This article only references primary sources. Please improve this article by adding secondary or tertiary sources. Unsourced material may be challenged and removed.
Find sources: "Laboratory for Foundations of Computer Science" – news · newspapers · books · scholar · JSTOR (March 2024) (Learn how and when to remove this message)

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

This article relating to education in Scotland is a stub. You can help Wikipedia by adding missing information.

This article about an organisation in Scotland is a stub. You can help Wikipedia by adding missing information.

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

P ≟ NP