Laboratory for Foundations of Computer Science

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
The King's Buildings
Mayfield Road
Edinburgh EH9 3JZ
Scotland, UK

Telephone : +44 (0)131 650 5132
Fax : +44 (0)131 667 7209

Email: lfcs-admin@inf.ed.ac.uk