Full details to be posted soon, here are the dates and venue for your diary. ----------------------------------------------------------------------------- 1993 *************** Announcement **************** * * * CATEGORY THEORY AND COMPUTER SCIENCE * * ------------------------------------ * * * * Fifth Biennial Meeting * * * ********************************************** CTCS-5 Dates: 7th-10th September 1993. Venue: CWI, Amsterdam, The Netherlands. The fifth of the biennial conferences on category theory and computer science is to be held in Amsterdam in 1993. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory, algebra, geometry and logic. Whilst the emphasis is upon applications of category theory, it is recognised that the area is highly interdisciplinary and the organising committee welcomes submissions in related areas. Topics central to the conference include: * The semantics of computation * Program logics and specification * Type theory and its semantics * Domain theory * Linear logic and its semantics * Categorical programming Submissions purely on category theory are also acceptable as long as the applicability to computing is evident. Previous meetings have been held in Guildford (Surrey), Edinburgh, Manchester and Paris. The format of this fifth meeting is to differ from previous meetings. Abstracts of talks are to be submitted to the organiser (details below). These will undergo a preliminary selection procedure and authors will be notified of the result. Proceedings of the conference will appear in a special issue of the journal Mathematical Structures in Computer Science. All contributors to the conference will be invited to submit full papers to the special issue. Submissions will undergo the usual refereeing process for MSCS, which accepts only very high standard contributions. Organising and program committee: S. Abramsky, P.-L. Curien, P. Dybjer, G. Longo, G. Mints, J. Mitchell, E. Moggi, D. Pitt, A.Pitts, A. Poigne, D. Rydeheard, F-J. de Vries, E. Wagner. IMPORTANT DATES Submission of abstracts of talks 25th May 1993 Notification of acceptance 1st July 1993 Submission of Abstracts. Authors should send 3 hard copies of an abstract and a cover page (preferably in 11pt LaTeX format) to: Dr. David Pitt, Department of Mathematics University of Surrey, Guildford, Surrey GU2 XH United Kingdom. email: d.pitt@mcs.surrey.ac.uk Authors without access to reproduction facilities may submit a single copy of their submission. The cover page of the submission should include the title, authors, a brief synopsis, and the corresponding author's name, address, phone number, fax number, and e-mail address if available. Abstracts should consist of no more than 3 (three) A4 sides (not including references). They must be in English, clearly written, and provide sufficient detail to allow the program committee to assess the merits of the paper. Each submission should make clear the advances made by the authors, the relevance to the subject, the background involved and the relationship to other work in the area. If the authors believe that more details are essential to substantiate the main claims of the paper, they may include a clearly marked appendix to be read at the discretion of the committee. Late abstracts, or those departing significantly from these guidelines, run a high risk of rejection. Local Arrangements: These will be notified later. The local co-ordinator is: Dr. Fer-Jan de Vries Department of Software Technology CWI Kruislaan 413 1098 SJ Amsterdam The Netherlands email: F.J.de.Vries@cwi.nl ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++