From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1236 Path: news.gmane.org!not-for-mail From: N Ghani Newsgroups: gmane.science.mathematics.categories Subject: PhD position Date: Wed, 06 Oct 1999 16:08:58 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (generated by tm-edit 7.108) Content-Type: text/plain; charset=US-ASCII X-Trace: ger.gmane.org 1241017666 30120 80.91.229.2 (29 Apr 2009 15:07:46 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:07:46 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Wed Oct 6 16:00:56 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id OAA28266 for categories-list; Wed, 6 Oct 1999 14:17:28 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 34 Xref: news.gmane.org gmane.science.mathematics.categories:1236 Archived-At: University of Leicester, Great Britain Announcement of PhD Studentship in Categorical Rewriting A PhD student is sought for three years from January 2000 to work under the supervision of Dr Neil Ghani on a UK EPSRC-funded project ``Categorical Rewriting'' A brief description of the project is included below. Further details can be obtained by emailing Dr Ghani at ng13@mcs.le.ac.uk Project Description ------------------- Term Rewriting Systems (TRSs) are widely used throughout computer science as they form an abstract model of computation while retaining a relatively simple and concrete syntax. However, this concreteness has led to a tendency to concentrate on the technical details of specific problems to the detriment of a wider understanding of the subject. This project aims to address this problem by developing a categorical semantics for rewriting. The project builds on recent work by Dr Ghani which showed that TRSs can be regarded as generalised algebraic theories and consequently that TRSs can be modelled as enriched monads. We want to extend this reasearch in a number of directions, eg the development of the semantics to cover more complex notions of rewriting and the application of our research to open problems in rewriting.