The Laboratory for Foundations of Computer Science is a research institute within the School of Informatics at the University of Edinburgh. We are a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity.
Laboratory for Foundations of Computer Science
School of Informatics
Informatics Forum
10 Crichton Street
Edinburgh EH8 9AB
Scotland, UK
Telephone : +44 (0)131 650 5132
Fax : +44 (0)131 651 1426
Email: lfcs-admin@inf.ed.ac.uk