Content deleted Content added
→Full professors: removed outdated label (some additions are needed too though I think) Tags: Mobile edit Mobile web edit |
m en-GB |
||
Line 1:
{{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 [[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, semantics, categories, algebra, types, logic, 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>
| |||