TYPES 2006: Nottingham, UK