CFP - CTCS'97 conference

To: categories@mta.ca, types@dcs.gla.ac.uk, logic@cs.cornell.edu
Subject: CFP - CTCS'97 conference
From: Eugenio Moggi <moggi@venus.disi.unige.it>
Date: Fri, 30 Aug 1996 17:00:08 +0200
Approved: types@dcs.gla.ac.uk

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


           CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'97)
      4-6 SEPTEMBER 1997, S. MARGHERITA LIGURE (GENOA), ITALY

         URL: "http://www.disi.unige.it/conferences/ctcs97/"

PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS

The seventh biennial conference on Category Theory and Computer
Science is to be held in Santa Margherita Ligure in 1997.  Previous
meetings have been held in Guildford, Edinburgh, Manchester, Paris,
Amsterdam and Cambridge.

SCOPE. 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 recognized that the area is highly
interdisciplinary and the organizing committee welcomes submissions in
related areas. Topics central to the conference include:

       * Models of computation
       * Program logics and specification
       * Type theory and its semantics
       * Domain theory
       * Linear logic and its applications
       * Categorical programming

Submissions purely on category theory are also acceptable as long as
the applicability to computing is evident.  It is anticipated that the
proceedings will be published in the LNCS series.

IMPORTANT DATES:
- 15 Feb 1997, soft deadline for notification of intention
- 01 Mar 1997, deadline for submissions
- 01 May 1997, notification of acceptance/rejection                         
- 15 Jun 1997, deadline for final version

ORGANIZING AND PROGRAMME COMMITTEE:
S. Abramsky (UK) P.-L. Curien (France), P. Dybjer (Sweden),
P. Johnstone (UK), G. Longo (France), G. Mints (USA), J. Mitchell
(USA), E. Moggi (Italy), A. Pitts (UK), A. Poigne (Germany),
G. Rosolini (Italy), D. Rydeheard (UK), F-J. de Vries (Japan).

PRELIMINARY LIST OF INVITED SPEAKERS:
J. Baez, Univ. of California at Riverside (USA)
R. Bird, Oxford Univ. (UK)
B. Jay, Univ. of Technology Sydney (Australia)

ELECTRONIC SUBMISSION GUIDELINES
* Papers must describe original unpublished research, be written and
  presented in English, they must not exceed 20 pages nor be submitted
  for publication elsewhere.
* papers should be sent by email to ctcs97@disi.unige.it in postscript
  format, with a separate text message containing: title, authors,
  abstract, keywords, and address of corresponding author.
* Alternative methods of submission might be accepted, but should be
  agreed in advance with ctcs97@disi.unige.it.

FURTHER INFORMATION is available from the conference URL.  Information
on local arrangements is still preliminary, and will be finalized in
May 1997, at the time of the call for participation.

--

Eugenio Moggi