El Laboratorio de Fundamentos de la Informática (LFCS) es un instituto de investigación dentro de la Escuela de Informática de la Universidad de Edimburgo , en Escocia . Fue fundado en 1987 y es una comunidad de científicos informáticos teóricos con intereses en concurrencia , semántica , categorías , álgebra , tipos , lógica , algoritmos , complejidad , bases de datos y modelado. [1]
55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361