{{Short description|Academic institution in City of Edinburgh, Scotland}}
{{one source |date=March 2024}}
{{only primary sources |date=March 2024}}
{{Use dmy dates|date=December 2016}}
{{Use British English|date=December 2016}}
The '''Laboratory for Foundations of [[Computer science|Computer Science]]''' (LFCS) is a research institute within the [[University of Edinburgh School of Informatics|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]].<ref>{{cite web|title=LFCS 30 year anniversary|url=https://events.inf.ed.ac.uk/lfcs30/|website=LFCS30|accessdate=29 April 2016}}</ref> It is a community of theoretical [[computer scientistsscientist]]s with interests in [[Concurrency (computer science)|concurrency]], [[semantics (computer science)|semantics]], [[category theory|categories]], [[algebra]], [[type theory|types]], [[formal logic|logic]], [[algorithm]]s, [[computational complexity theory|complexity]]{{dn|date=April 2021}}, [[database theory|databases]] and modelling.<ref>{{cite web|title=Welcome to LFCS|url=http://www.lfcs.ed.ac.uk|website=LFCS home page|accessdate=29 April 2016}}</ref>
==References==
Line 16 ⟶ 19:
[[Category:Science and technology in Edinburgh]]
[[Category:1987 establishments in Scotland]]
[[Category:EducationalResearch institutionsinstitutes established in 1987]]
