[ME] _________________________ AMAST Links 02 07

59th Peripatetic Seminar on Sheaves and Logic

University of Edinburgh, Computer Science Department, 7-8 October 1995

The full version of this information is available.

The meeting is dedicated to Peter Freyd in celebration of his 60th birthday. Peter of course will attend. The seminar welcomes talks using or addressing category theory or logic either explicitly or implicitly, in the study of any aspect of mathematics or science.

Proceedings will begin on Saturday at 9:30 am in Room 2511, the James Clerk Maxwell Building, the King's Buildings (the science campus of Edinburgh University), when we will finalise the timetable and start talks. A light lunch will be provided each day in the adjoining room, as well as coffee and biscuits.

We plan to publish a proceedings of the meeting as a special issue of the Journal of Pure and Applied Algebra, dedicated to Peter. Obviously, it is impractical for many scientists from outside western Europe to attend the meeting, so we will allow submissions to the proceedings by people who cannot attend but would like to participate.

Here is a current list of speakers and titles:

Philip Scott :
Linear Lauchli Semantics
Mamuka Jibladze:
A Presentation of the Initial Lift-Algebra
Peter Johnstone:
Cartesian Functors Between Toposes
Mike Fourman :
Classifying Cardinalities
Barry Jay :
Data Categories
John Stell :
Order-Sorted Theories
Edmund Robinson:
Fibrations and Premonoidal Categories
Jaap van Oosten:
The Modified Realizability Topos
Chris Townsend :
Local Priestly Duality
Jim Otto :
Sketches, Deductions and Resolutions

There is no registration fee. For more information relating to social events and accommodation, see the full version of this announcement.