Next: France Telecom R&D
Up: Cooperating sites
Previous: Dassault Aviation


The Laboratory for Foundations of Computer Science (LFCS) in the School of Informatics of Edinburgh University, has participated in all four previous EU funded TYPES projects. LFCS workers developed the LEGO proof tool and the Proof General user interface, both widely used by researchers at other TYPES sites. LFCS researchers also contributed much to the theoretical basis on which all TYPES work rests, including topics such as logical frameworks, abstract syntax and variable binding, inductive definitions, consistency proofs and extensionality. This work is represented by many talks at TYPES workshops and publications in TYPES proceedings and other international refereed forums, often in collaboration with workers from other TYPES sites.

The site plans to contribute mainly to three project objectives.

The senior members are

Edinburgh homepage

Bengt Nordström 2005-09-22