Content deleted Content added
m unwarranted removal of maintenance template |
m linking to other articals |
||
Line 2:
{{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]] and is a community of theoretical computer scientists with interests in [[Concurrency (computer science)|concurrency]], semantics, categories, [[algebra]], types, logic, [[Algorithm|algorithms]], complexity, 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==
| |||