Welcome to:

Loughborough University

Department of Computer Studies

Formal Methods Group

We host the

• WWW pages for BCS-FACS (British Computer Sociaty Specialist Group - Formal Aspects of Computing Science)
• Macintosh section of the WISDEN TLTP project. (Wide-ranging Integrated Software Design Education Network - A Collection of Computer Based Learning materials for use in Software Engineering courses.)
• Collection of Teaching Resources ( Pricipally for local use)