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