Re: Name change

I would like to go on record as suggesting the same name for the PSSL. I think "logic" covers a lot of ground and don't like the idea of replacing part of a name on the grounds that it will "put some people off". Personally I think "sheaves" in the general context it is used in the name of the seminar is relevant to computer science. Regards, Murray