Laboratory for Foundations of Computer Science

Last updated

The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the 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. [1]

Related Research Articles

<span class="mw-page-title-main">Savonranta</span>

Savonranta is a former municipality of Finland. It became part of Savonlinna in early 2009.

<span class="mw-page-title-main">School of Informatics, University of Edinburgh</span>

The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.

<span class="mw-page-title-main">Ellison Provincial Park</span> Provincial park in British Columbia, Canada

Ellison Provincial Park is a provincial park in British Columbia, Canada, located on the east side of Okanagan Lake to the south of the city of Vernon. The park contains approximately 219 hectares (2.19 km2) of land, 200 ha. of it upland, 19 ha. of it foreshore.

<span class="mw-page-title-main">Cables Wynd House</span>

Cables Wynd House, better known as the Leith Banana Flats or the Banana Block because of its curved shape, is a nine-storey local authority housing block in Leith, Edinburgh. The building, in fact, has ten storeys. The ground floor is called Cables Wynd and the nine floors above constitute Cables Wynd House. This often leads to confusion in postal and other services.

Leuk Daek District is a district (srok) of Kandal Province, Cambodia. The district is subdivided into 7 communes (khum) and 24 villages (phum).

CKUN-FM is a First Nations/community radio station broadcasting at 101.3 FM in Christian Island, Ontario, Canada. The station began broadcasting in 2002 and is owned by Chimnissing Communications.

Starzechowice is a village in the administrative district of Gmina Fałków, within Końskie County, Świętokrzyskie Voivodeship, in south-central Poland. It lies approximately 5 kilometres (3 mi) north of Fałków, 24 km (15 mi) west of Końskie, and 50 km (31 mi) north-west of the regional capital Kielce.

Outlet Falls is a 69-foot plunge fed by Outlet Creek which flows out of farmland in Klickitat County, Washington. Its watercourse, Outlet Creek, is fed by several springfed tributaries and agricultural runoff. The perennial drop is formed as Outlet Creek erodes into the 200-foot-deep Klickitat Canyon and hurtles itself into a huge bowl. It is located several miles east of the town of Glenwood.

Bylowo-Leśnictwo is a settlement in the administrative district of Gmina Kartuzy, within Kartuzy County, Pomeranian Voivodeship, in northern Poland. It lies approximately 2 kilometres (1 mi) north-west of Kartuzy and 30 km (19 mi) west of the regional capital Gdańsk.

Krytno is a village in the administrative district of Gmina Polanów, within Koszalin County, West Pomeranian Voivodeship, in north-western Poland. It lies approximately 14 kilometres (9 mi) north-west of Polanów, 24 km (15 mi) east of Koszalin, and 154 km (96 mi) north-east of the regional capital Szczecin.

<span class="mw-page-title-main">Campo Maior, Piauí</span> Municipality in Northeast, Brazil

Campo Maior, Piauí is a municipality in the state of Piauí in the Northeast region of Brazil.

<span class="mw-page-title-main">Joanna, Pennsylvania</span> Unincorporated community in the U.S. state of Pennsylvania

Joanna is an unincorporated community in southern Berks County, Pennsylvania, United States. Joanna sits in southern Robeson Township, near the borough of New Morgan, and is also near Caernarvon Township and near the Pennsylvania Turnpike. The Twin Valley School District serves Joanna; the high school is located close to the village.

<span class="mw-page-title-main">Ouled Atia</span> Commune and town in MSila Province, Algeria

Ouled Atia is a town and commune in M'Sila Province, Algeria.

<span class="mw-page-title-main">Tamsa</span> Commune and town in MSila Province, Algeria

Tamsa is a town and commune in M'Sila Province, Algeria. According to the 1998 census it has a population of 6284.

Zakavoliai is a village in Varėna district municipality, in Alytus County, in southeastern Lithuania. According to the 2001 census, the village has a population of 10 people.

<span class="mw-page-title-main">Freda, North Dakota</span>

Freda is an unincorporated community and ghost town in Grant County, North Dakota, United States. It is part of Freda Township.

<span class="mw-page-title-main">Nancy-Ville station</span>

Nancy-Ville station is the main railway station serving the city Nancy, Meurthe-et-Moselle department, northeastern France. It is situated on the Paris–Strasbourg railway.

<span class="mw-page-title-main">Erden Glacier</span> Glacier in Graham Land, Antarctica

Erden Glacier is the 6 km long and 2.8 km wide glacier on Oscar II Coast in Graham Land situated southwest of Lesicheri Glacier. It drains the southeast slopes of Forbidden Plateau, and flows southeastwards to join Jorum Glacier. The feature is named after the settlement of Erden in Northwestern Bulgaria.

<span class="mw-page-title-main">Wells Tavern, Hampstead</span> Pub in Hampstead, London

The Wells Tavern is a Grade II listed public house at 30 Well Walk, Hampstead, London.

Mount Joy is an unincorporated community in Scioto County, in the U.S. state of Ohio.

References

  1. "Welcome to LFCS". LFCS home page. Retrieved 29 April 2016.

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