[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 at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207ME.txt

  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.