PSSL 80 - first announcement

It is proposed to hold the 80th meeting of the Peripatetic Seminar on
Sheaves and Logic in Cambridge during the weekend of 3/4 April 2004.
Further details of the arrangements will be announced by mid-February;
in the meantime, any queries may be addressed to the organizers,

Eugenia Cheng <>,
Martin Hyland <> or
Peter Johnstone <>.