A more detailed version of this announcement is available.
The Summer School on Semantics and Logics of Computation is being held as part of a six-month research programme on Semantics of Computation at the Isaac Newton Institute for Mathematical Sciences, a new international research centre in Cambridge UK. The Summer School is sponsored by the CEC ESPRIT research project "Categorical Logic in Computer Science, II" (CLICS-II).
The aim is to present a number of modern developments in semantics and logics of computation in a way that is accessible to graduate-level students. Registrations from postgraduate students will be given priority, but applications by interested academics and industrialists are also welcomed. The planned courses include:
Organizers: P. Dybjer (Chalmers) peterd@cs.chalmers.se && A. Pitts (Cambridge) ap@cl.cam.ac.uk
Fees: general rate: 400 pounds; student rate: 250 pounds. The fee covers registration, accommodation, meals (breakfast, lunch, supper, tea & coffee breaks), and lecture materials.
Registration: There are only a limited number of places available on the Summer School. Intending participants are advised to apply for registration as soon as possible, and in no case later than 31 May 1995. To apply, please send your name and address (including e-mail or fax number, if available) to: Florence Leroy (SEM Summer School), Isaac Newton Institute, 20 Clarkson Road, Cambridge CB3 0EH. Tel +44 1223 335984 Fax +44 1223 330508, Email f.leroy@newton.cam.ac.uk