Next: Minho
Up: Cooperating sites
Previous: Kraków


The Manchester site is the Formal Methods and Mathematical Foundations groups, in the Manchester University Computer Science Department. It has participated in all previous EU funded TYPES working groups. The site has considerable expertise in mathematical logic, category theory, automated deduction and machine checked mathematics. Current interests of the site include proof assistants for mathematicians and mathematics education, logical frameworks, constructive set theory and constructive topology.

The site will mainly contribute to the objectives of Formal Mathematics and Mathematics Education and Foundational Research.

The senior members group relevent to our proposal, are

The site has regularly taken part in the previous TYPES annual meetings, small workshops and site visits. The site has particularly close collaboration with the Durham site, including joint UK-funding, and many visits by researchers and students.

Manchester homepage

Bengt Nordström 2005-09-22