PSSL 74 -- Second announcement

PSSL 74 -- Second announcement

[Dr. P.T. Johnstone]

PSSL 74 -- Second announcement

The 74th meeting of the Peripatetic Seminar on Sheaves and Logic (wrongly
labelled the 73rd meeting in the previous announcement) will be held in the
new Centre for Mathematical Sciences, University of Cambridge, on the
weekend of 4--5 November 2000. As usual, we invite contributions from anyone
interested in the application of categorical and sheaf-theoretic methods in
logic and theoretical computer science.

If you wish to attend, please complete the attached registration form and
return it to ptj@dpmms.cam.ac.uk as soon as possible, and in any case by
Wednesday 25 October. We shall attempt to reserve accommodation, either in
College guest rooms or in local `bed and breakfast' accommodation, for all
those who request it; but if you want us to do this please let us know as
early as you can.

Further information on accommodation, and a provisional programme, will be
circulated about a week before the meeting.

                                                   Martin Hyland
                                                   Peter Johnstone
                                                   Tom Leinster
-------------------------------------
REGISTRATION FORM

Name:

Address:

E-mail:

I intend to come to the 74th meeting of the PSSL.

*I should like to give a talk lasting about _____  minutes,
entitled:

*I should like to reserve accommodation for *Friday/Saturday/Sunday*
night(s).

* Please delete if inapplicable.