Re: [PDE OK Workshop] workshop