From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: CTCS'97
Date: Tue, 4 Feb 1997 10:05:29 -0400 (AST) [thread overview]
Message-ID: <Pine.OSF.3.90.970204100519.30286A-100000@mailserv.mta.ca> (raw)
Date: Tue, 4 Feb 1997 14:32:31 +0100
From: Eugenio Moggi <moggi@venus.disi.unige.it>
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.
--
reply other threads:[~1997-02-04 14:05 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.OSF.3.90.970204100519.30286A-100000@mailserv.mta.ca \
--to=cat-dist@mta.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).