From: "Martin Hofmann" <mxh@dcs.ed.ac.uk>
To: categories@mta.ca
Subject: CTCS '99 Special Issue in TCS
Date: Thu, 16 Dec 1999 11:16:32 GMT [thread overview]
Message-ID: <23970.199912161116__46976.9270079725$1241017735$gmane$org@craro.dcs.ed.ac.uk> (raw)
Call for Papers
Special Issue of
Theoretical Computer Science (TCS)
on
Categories in Computer Science
Editors: J. Adamek, M. Escardo, M. Hofmann
The eighth conference on Category Theory and Computer Science
(CTCS'99) has been held in Edinburgh 10-12 September 1999.
A special issue of the journal Theoretical Computer Science (TCS) will
be devoted to journal versions of papers presented at that conference
and other papers on the same topic.
Submissions will undergo the usual refereeing process for TCS; authors
of submissions are not required to have participated at CTCS'99.
>From the call for papers: "The purpose of the conference series is the
advancement of the foundations of computing using the tools of
category theory. While the emphasis is upon applications of category
theory, it is recognized that the area is highly
interdisciplinary. Topics of interest include but are not limited to
category-theoretic aspects of the following:
concurrent and distributed systems, constructive mathematics,
declarative programming and term rewriting, domain theory and
topology, linear logic, models of computation, program logics, data
refinement, and specification, programming language semantics, type
theory".
See also http://www.dcs.ed.ac.uk/home/ctcs99 for the conference
programme.
Instructions to Authors
-----------------------
Authors are invited to submit full original research papers. Papers
should be submitted via email to ctcs99@dcs.ed.ac.uk as a postscript
file, or by mailing a hard copy to
Martin Hofmann
Laboratory for Foundations of Computer Science
JCM, Rm 2606
The King's Buildings
Mayfield Rd
Edinburgh EH9 3JZ
UK
before 31st March, 2000.
Important Dates
Submission Deadline: 31st March, 2000.
reply other threads:[~1999-12-16 11:16 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='23970.199912161116__46976.9270079725$1241017735$gmane$org@craro.dcs.ed.ac.uk' \
--to=mxh@dcs.ed.ac.uk \
--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).