Revision as of 17:27, 6 February 2019 edit I dream of horses (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers, Rollbackers 572,256 edits m standard AWB cleanup, added underlinked tag Tag: AWB ← Previous edit		Revision as of 11:52, 17 May 2019 edit undo ZettaComposer (talk \| contribs) Extended confirmed users 3,755 edits Added link Tag: Visual edit Next edit →
Line 2: {{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> ==References==

Laboratory for Foundations of Computer Science: Difference between revisions