TYPES at Edinburgh

TYPES is an EU Framework 6 project, involving 15 main sites and 20 subsites across Europe. The TYPES consortium has been active and continuously supported by the EU for more than 16 years. The current TYPES project, from Sept 2004 through Apr 2008, is co-ordinated by Bengt Nordström at Chalmers Technical University, Göteborg Sweden. You can find further information about TYPES at Edinburgh University is one of the TYPES main sites. The research institutes participating in TYPES from the Edinburgh University School of Informatics are TYPES participants at Edinburgh include

TYPES topical workshops organized by Edinburgh site:

Recent TYPES site visits:

TYPES Review 2006

Randy Pollack's contribution to the TYPES review in Brussels on 29 Aug. 2006.