From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: CfP: Workshop & Tutorial on Categorical Rewriting at RTA'98.
Date: Sat, 20 Dec 1997 09:50:17 -0400 (AST) [thread overview]
Message-ID: <Pine.OSF.3.90.971220095009.21896D-100000@mailserv.mta.ca> (raw)
Date: Wed, 17 Dec 1997 16:16:29 +0100
From: Christoph.Lueth <cxl@Informatik.Uni-Bremen.DE>
[Apologies if you receive multiple copies. --cxl]
Categorical Rewriting
---------------------------------------------------
RTA'98 Workshop & Tutorial - Call for Participation
The fact that category theory can provide a semantics for rewriting at
a level of abstraction between concrete syntax and the relational
models given by abstract reduction systems is beginning to be used
with increasing success in rewriting.
The aim of this workshop and tutorial is to provide an opportunity for
the participants of RTA'98 to learn more about categorical term
rewriting, and to provide a meeting place for researchers within the
field to present and discuss new ideas where category theory can be
fruitfully applied to rewriting.
The workshop and tutorial will occupy one afternoon of RTA'98. The
tutorial will comprise introductory talks about the categorical
concepts relevant to term rewriting, such as the theory of monads. For
the workshop, talks are invited about work applying categorical or
algebraic concepts to term rewriting or related areas, such as graph
rewriting, string rewriting or unification.
Important dates are as follows:
31 January 1998 Submission deadline
15 February 1998 Notification of acceptance and final programme
1 March 1998 Final versions are due for the informal proceedings
31 March 1998 RTA 98 Workshop & Tutorial on Categorical Rewriting
For more information and instructions on submitting a talk see one of
http://www.etl.go.jp/~ferjan/CatTRS.html
http://www.informatik.uni-bremen.de/~cxl/rta98/workshop.html
Registration for the workshop (with or without submitting a talk)
should be done via the RTA registration form at
http://www.score.is.tsukuba.ac.jp/rta98/
Late on-site registration will be possible.
Organisers
Neil Ghani Christoph Lueth Fer-Jan de Vries
University of Birmingham Universitaet Bremen ETL
Birmingham, England Bremen, Germany Tsukuba, Japan
nxg@cs.bham.ac.uk cxl@informatik.uni-bremen.de ferjan@etl.go.jp
reply other threads:[~1997-12-20 13:50 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.971220095009.21896D-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).