International Conference of B and Z Users (1st 2000 York, England)