From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/296 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: CTCS'97 Date: Tue, 4 Feb 1997 10:05:29 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016876 25071 80.91.229.2 (29 Apr 2009 14:54:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:36 +0000 (UTC) To: categories Original-X-From: cat-dist Tue Feb 4 10:06:05 1997 Original-Received: by mailserv.mta.ca; id AA26693; Tue, 4 Feb 1997 10:05:30 -0400 Original-Lines: 64 Xref: news.gmane.org gmane.science.mathematics.categories:296 Archived-At: Date: Tue, 4 Feb 1997 14:32:31 +0100 From: Eugenio Moggi CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'97) 4-6 SEPTEMBER 1997, S. MARGHERITA LIGURE (GENOA), ITALY URL: "http://www.disi.unige.it/conferences/ctcs97/" SECOND 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. IMPORTANT DATES: - 01 Mar 1997, deadline for ELECTRONIC SUBMISSIONS - 01 May 1997, notification of acceptance/rejection - 15 Jun 1997, deadline for final version ** 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 can be submitted via an electronic form or by e-mail (see the conference URL for details). - ALTERNATIVE METHODS OF SUBMISSION might be accepted, but should be agreed with ctcs97@disi.unige.it no later than 15th FEBRUARY 1997. 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. 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). LIST OF INVITED SPEAKERS: J. Baez, Univ. of California at Riverside (USA) R. Bird, Oxford Univ. (UK) B. Jay, Univ. of Technology Sydney (Australia) RELATED EVENTS: workshop Express'97, 8-12 Sep 1997, Santa Margherita Ligure, Italy. --