Report of activity of WG1.6

Jieh Hsiang
National Taiwan University


On 1 April, 1998, the WG1.6 had a pre-meeting held in conjunction 
with the 7th International Conference on Rewriting Techniques 
and Applications at Tsukuba, Japan.  About twenty people attended.
In the meeting Jieh Hsiang reported on the progress of the
founding of the working group which was followed by a lively
discussion of future directions.  The discussion was summarized 
by Leo Bachmair of the SUNY at Stony Brook and distributed to 
all the potential members of the WG.

After the WG was approved in September, the list of starting
members was finalized, and Claude Kirchner of INRIA-Lorraine
was invited as the vice-chair and Leo Bachmair the secretary.
 
The first official WG meeting has been scheduled for 1 July, 1999
at Trento, Italy, to be held in conjunction with FLoC (Federated
Logic Conferences).  An announcement was circulated among members 
soliciting attendence and suggestions of topics.  So far over 20
have decided to attend and only 2 sent regret.  We expect to have
a well-attended and fruitful meeting.