From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/565 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: CfP: Workshop & Tutorial on Categorical Rewriting at RTA'98. Date: Sat, 20 Dec 1997 09:50:17 -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 1241017044 26301 80.91.229.2 (29 Apr 2009 14:57:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:57:24 +0000 (UTC) To: categories Original-X-From: cat-dist Sat Dec 20 09:50:49 1997 Original-Received: (from cat-dist@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id JAA05700; Sat, 20 Dec 1997 09:50:17 -0400 (AST) Original-Lines: 62 Xref: news.gmane.org gmane.science.mathematics.categories:565 Archived-At: Date: Wed, 17 Dec 1997 16:16:29 +0100 From: Christoph.Lueth [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