Лаборатория основ компьютерных наук (LFCS) — это исследовательский институт в Школе информатики Эдинбургского университета в Шотландии . Она была основана в 1987 году и представляет собой сообщество ученых-теоретиков в области информатики, интересующихся параллелизмом , семантикой , категориями , алгеброй , типами , логикой , алгоритмами , сложностью , базами данных и моделированием. [1]
55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361