 | This articlerelies largely or entirely on asingle source. Relevant discussion may be found on thetalk page. Please helpimprove this article byintroducing citations to additional sources. Find sources: "Laboratory for Foundations of Computer Science" – news ·newspapers ·books ·scholar ·JSTOR(March 2024) |
| This articleonly references primary sources. Please improve this article by addingsecondary or tertiary sources. Find sources: "Laboratory for Foundations of Computer Science" – news ·newspapers ·books ·scholar ·JSTOR(March 2024) (Learn how and when to remove this message) |
TheLaboratory for Foundations of Computer Science (LFCS) is a research institute within theSchool of Informatics at theUniversity of Edinburgh, inScotland. It was founded in 1987 byRod Burstall,Robin Milner,Gordon Plotkin andMatthew Hennessy.[1] It is a community of theoreticalcomputer scientists with interests inconcurrency,semantics,categories,algebra,types,logic,algorithms,complexity,databases and modelling.[2]
| International | |
|---|---|
| National | |
55°55′16.5″N3°10′25″W / 55.921250°N 3.17361°W /55.921250; -3.17361
 | This article relating toeducation in Scotland is astub. You can help Wikipedia byadding missing information. |
 | This article about an organisation in Scotland is astub. You can help Wikipedia byadding missing information. |
 | This United Kingdom university, college or other education institution article is astub. You can help Wikipedia byadding missing information. |
| P ≟ NP | Thistheoretical computer science–related article is astub. You can help Wikipedia byadding missing information. |
