Laboratory for Foundations of Computer Science: Difference between revisions

Content deleted Content added
as on talk
Line 1:
{{notability|organisation|date=June 2014}}
{{unreferenced|date=June 2014}}
The '''Laboratory for Foundations of Computer Science''' (LFCS) is based in the [[University of Edinburgh School of Informatics|School of Informatics]] at the [[University of Edinburgh]], [[Scotland]]. It has an international reputation in [[theoretical computer science]], [[mathematical logic]] and [[category theory]].