Laboratory for Foundations of Computer Science: Difference between revisions

Revision as of 09:33, 4 April 2021

Revision as of 18:25, 8 April 2021

Line 1:

{{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 (computer science)|semantics]], [[category theory|categories]], [[algebra]], [[type theory|types]], [[formal logic|logic]], [[Algorithm|algorithmsalgorithm]]s, [[complexity theory|complexity]], [[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 10:

*[http://www.lfcs.inf.ed.ac.uk/people/ People]

{{Authority control}}

{{coordCoord|55|55|16.5|N|3|10|25|W|type:landmark_region:GB|display=title}}

[[Category:University of Edinburgh School of Informatics]]