Laboratoř pro základy informatiky - Laboratory for Foundations of Computer Science
 | tento článek potřebuje víc odkazy na další články pomoci integrovat to do encyklopedie. (Února 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
The Laboratoř pro základy informatiky (LFCS) je výzkumný ústav v rámci Škola informatiky na University of Edinburgh, v Skotsko. Byla založena v roce 1987 a je komunitou teoretických informatiků se zájmem o souběžnost, sémantiku, kategorie, algebru, typy, logiku, algoritmy, složitost, databáze a modelování.[1]
Reference
- ^ „Vítejte v LFCS“. Domovská stránka LFCS. Citováno 29. dubna 2016.
externí odkazy
Souřadnice: 55 ° 55'16,5 "N 3 ° 10'25 ″ Z / 55,921250 ° N 3,17361 ° W
 | Tento článek se týká vzdělávání ve Skotsku je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
 | Tento článek o organizaci ve Skotsku je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
 | Tento článek o univerzitě, vysoké škole nebo jiné vzdělávací instituci ve Velké Británii je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
| P ≟ NP | Tento teoretická informatika –Vztahující se článek je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |