Email Record: KEK international workshop on high intensity muon sources :