Articulo de referencia

Laboratorio de Fundamentos de la Informática

Coordenadas : 55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361 El Laboratorio de Fundamentos de la Informática (LFCS) es un instituto de investigación perten...

Coordenadas : 55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361

El Laboratorio de Fundamentos de la Informática (LFCS) es un instituto de investigación perteneciente a la Facultad de Informática de la Universidad de Edimburgo , en Escocia . Fue fundado en 1987 por Rod Burstall , Robin Milner , Gordon Plotkin y Matthew Hennessy . [ 1 ] 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. [ 2 ]

Referencias

  1. "30 aniversario de LFCS" . LFCS30 . Consultado el 29 de abril de 2016 .
  2. "Bienvenido a LFCS" . Página principal de LFCS . Consultado el 29 de abril de 2016 .
  • Sitio web de LFCS
  • Gente

55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361