Management Committee Chairperson and Secretary Prof Fionn Murtagh, School of Computer Science, Queen's University Belfast, Belfast BT7 1NN, UK, tel +44.