Laboratory for Foundations of Computer Science

{{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 (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.{{cite web|title=LFCS 30 year anniversary|url=https://events.inf.ed.ac.uk/lfcs30/|website=LFCS30|accessdate=29 April 2016}} It is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.{{cite web|title=Welcome to LFCS|url=http://www.lfcs.ed.ac.uk|website=LFCS home page|accessdate=29 April 2016}}