Organisation

Steering group

Bengt Nordström, Chalmers, Sweden (coordinator)
Peter Aczel, Manchester, UK
Herman Geuvers , Nijmegen, Holland
Zhaohui Luo, Royal Holloway, UK
Randy Pollack, University of Edinburgh, UK
Christine Paulin-Mohring, Paris Sud, France

Minutes from business meeting at the Types meeting in Nottingham

Result from the questionnaire from the Nottingham meeting

Plans

Annex I, Description of work (pdf)

Annual reports for the extended third year

This will be an extended version of the reports from the third year

Annual reports for the third year

Progress report
Management report

Annual reports for the second year

Progress report
Management report

Annual reports for the first year

Progress report
Management report