arvind@utcsri.UUCP (Arvind Gupta) (03/05/87)
From: lescanne@crin.uucp (Pierre LESCANNE)
Subject: RTA-87
Second International Conference
on
Rewriting
Techniques
and
Applications
May 25-27, 1987
BORDEAUX
France
Program Committee
R. Book, U. Santa Barbara,USA
B. Courcelle, U. Bordeaux, F
N. Dershowitz, U. Illinois, USA
J. Guttag, MIT, Cambridge, USA
D. Kapur, General Electric, Schenectady, USA
R. Loos, U. Tubingen, FRG
P. Lescanne, CRIN, Nancy, F, (co-chairman)
D. Plaisted, UNC, Chapel-Hill, USA (co-chairman)
G. Plotkin, U. Edinburgh, UK
J. Siekmann, U. Kairserslautern, FRG
M. Stickel, SRI-International, USA
Local Arrangement
B. Courcelle
Sponsored by
Universite de Bordeaux 1, Universite de Nancy 1,
Mairie de Bordeaux, Greco Mathematique-Informatique, Greco Programmation
PROGRAM
Monday 25
8h30: Registration
9h30: Opening address
9h45: session 1
Invited Lecture by M. O'Donnell (U. of Chicago, USA)
Term-Rewriting Implementation of Equational Logic
11h15: session 2
R. Strandh (Johns Hopkins U., Baltimore, USA)
Optimizing Equational Programs
S. Kaplan (LRI, U. de Paris-Sud, F)
A Compiler for Conditional Term Rewriting Systems
Lunch
14h30: session 3
U. Martin (U. of Manchester, UK)
How to choose the weights in the Knuth Bendix ordering
P. Purdom (Indiana U., USA)
Detecting Looping Simplifications.
15h45: session 4
E. Sopena (U. de Bordeaux, F)
Combinatorial Hypermap Rewriting
F. Otto (U. of Kaiserslautern and SUNY at Albany, USA),
C. Squier (SUNY at Binghamton, USA)
The word problem for finitely presented monoids and finite canonical
rewriting systems
17h: session 5
J.C.M. Baeten (U. of Amsterdam, NL), J.A. Bergstra (U. of Amsterdam,
State U. Utrecht, NL), J.W. Klop (Centre for Mathematics and Computer
Science and Free U. Amsterdam, NL)
Term Rewriting Systems with Priorities
M. Dauchet, F. De Comite (U. Lille Flandres-Artois, F)
A gap between Linear and Non-Linear Systems
18h: Cocktail party
Tuesday 26
9h: session 6
Invited Lecture by D. Musser (General Electric Research and Development
Center, Schenectady, USA)
Inductionless Induction: Progress and Problems
M. Mazaud (INRIA, Rocquencourt, F), R. Rakotozafy, A. Szumachowski-Despland
(U. d'Orleans, F)
Code Generator Generation based on template-driven target term rewriting
11h: session 7
M. Benois (LSD-IMAG, Grenoble, F)
Algorithm and complexity of the construction of automata that recognize
images of regular languagesby some rewriting systems
K. Madlener (U. of Kaiserslautern, FRG), F. Otto (U. of Kaiserslautern , FRG
and SUNY at Albany, USA)
Groups presented by certain classes of finite length-reducing string
rewriting systems
F. Otto (U. of Kaiserslautern and SUNY at Albany, USA)
Confluence on a given congruence class is undecidable
Lunch
14h30: Departure for the excursion at St Emilion
19h: Banquet at chateau de Vayres
Wednesday 27
9h: session 8
Invited Lecture by J. P. Jouannaud (U. de Paris-Sud, F)
Proof methods for Completion Procedures
10h15: session 9
R. Gobel (U. of Kaiserslautern, FRG),
Ground Confluence
Qian Zhenyu (U. of Bremen, FRG)
A generalized sufficient Condition for Confluence and Termination and its
Extension to Recursively Presented Term Rewriting
11h30: session 10
H . Kirchner (CRIN-INRIA, Nancy, F)
Schematization of infinite sets of rewrite rules Application to the
divergence of completion processes
L. Bachmair (SUNY at Stony Brook, USA), N. Dershowitz (U. of Illinois ,
Urbana-Champaign, USA and Hebrew University, Jerusalem, Israel)
Completion for rewriting modulo a congruence
Lunch
14h30: session 11
H. J. Burckert, A. Herold, M. Schmidt-Schauss (U. of Kaiserslautern, FRG)
On Equational Theories, Unification and Decidability
J.H. Gallier, W. Snyder (U. of Pennsylvania, Philadelphia, USA)
A general complete E-unification procedure
15h45: session 12
P. Rety (CRIN-INRIA, Nancy, F)
Improving basic narrowing techniques
P. Padawitz (U. Passau, FRG)
Strategy-Controlled Reduction and Narrowing
17h: session 13
C. Chopy, S. Kaplan, M Soria (LRI, U. de Paris-Sud, F)
Algorithmic complexity of term rewriting systems
R. Ramesh, I. V. Ramakrishnan (SUNY at Stony Brook, USA)
Optimal Speedups for parallel pattern matching in trees
_______________________________________
LOCATION
The conference will be held outside the city of Bordeaux at Bordeaux-1
University, 351 cours de la Liberation, TALENCE in the "Grand Amphitheatre
de Mathematiques". Additional information including a map will be sent to
anyone returning the attached registration form. Lunches will be served at a
nearby restaurant; transportation will be provided.
ACCOMODATION
Three good hotels are proposed :
1) Hotel Campaville (**) in the center of Bordeaux, open 24h a day, English
spoken, no restaurant, 220F for a single room, 240F for a double room
(without breakfast). 10min from railway station by taxi, 30min by bus. 40min
by bus from the hotel to the University.
2) Hotel de Guyenne (***) in Talence, open 24h a day, English spoken, with
restaurant, 160-175F for a single room, 185-200F for a double room (without
breakfast). 15min from railway station by taxi, 30min by bus. 10min by bus
from the hotel of the University.
3) Hotel Beausoleil (**) in Gradignan (very quiet place nearly in the
country), open 24h a day, English spoken, with restaurant, 195F for a single
room, 240F for a double room. 20min from railway station by taxi; 45min by
bus. 25min from the hotel to the University by bus.
If you wish accomodations at one of these hotels, return the hotel
registration form to :
Information, Service, Culture
24, rue Bahus
33400 TALENCE
before March 1st 1987.
With the confirmation of your registration, you will receive all necessary
information for reaching the hotel. If you wish alternate accomodation
(perhaps less expensive) ask on the registration form for the full list of
hotels (and map). In that case you will have to make your own reservations
by calling or writing directly to the hotels.
SOCIAL PROGRAM
We plan a cocktail party on the first day at the University after the last
lecture and an excursion to St. Emilion on Tuesday afternoon. This small
city, 60km from Bordeaux, has a very curious church partially dug in the
rock and several Romanesque buildings and ruins. It is nicely situated on a
hill overlooking the vineyards, These vineyards, called "Chateaux", are very
famous (they form one branch of the large Bordeaux family of wines); we
shall visit Chateaux and taste their wine. A banquet at the "Chateau de
Vayres" (16th century) will close the day. Evening dressing is not required
for the cocktail party and the banquet.
REGISTRATION FEE
The registration fee of 1 200F includes one copy of the proceedings (they
should be available at the conference), coffee breaks, three lunches,
excursion and banquet. Each extra lunch ticket costs 90F and an extra ticket
for the excursion and banquet costs 250F. The same amounts will be deducted
form the registration fee if you choose not to participate in the excursion
or some of the lunches. Please mark the registration form accordingly.
Reduced registration fees are available especially for students, upon
request to B.COURCELLE, made as soon as possible.
Registration fees must be paid on the first day by postal or bank checks (in
French Francs) or traveller checks in any currency. Credit cards cannot be
accepted.
------------------------------------------------------------------------------
RTA 87 May 25-27, Bordeaux
HOTEL RESERVATION FORM
Send directly to:
Information, Service, Culture
24, rue Bahus
F-33400 TALENCE FRANCE
Before March 1st 1987.
Name :
Mailing address :
Telephone :
Date, time of arrival :
Date, time of departure :
I wish to be accomodated at one of the proposed 3 hotels :
I prefer :
my 2nd choice is :
I request . a single room
. a double room (one large bed or two beds)
If I must modify the day of arrival or the type of room, I will do that by
letter or telegram reaching Information, Service, Culture before May 15th.
After this date, the cost of one night may be charged.
Date : Signature :
If you want to share your room with another participant, you have to find
your roomate by yourself and to inform B. Courcelle.
Confirmation of your reservation will be sent to you by Information,
Service, Culture at the address you indicated above.
------------------------------------------------------------------------------
RTA 87, May 25-27, Bordeaux
REGISTRATION FORM
Sent to
B. COURCELLE, RTA-87
University Bordeaux I,
Mathematiques et Informatique,
351, cours de la Liberation,
33405 Talence France,
before March 1st 1987.
Name :
Mailing address :
Institution (for badges):
Telephone :
Time of arrival :
Time of departure :
I am also sending the accomodation form to Information, Service, Culture,
with preference for hotel:
I wish to receive the list of hotels in Bordeaux and I will make my own
reservation: YES NO
I will participate in the May 26 excursion and banquet:
YES NO
and I will be accompanied by ___ persons (+250F for each accompanying
person, -250F if I do not participate).
I will join the organized lunches on :
MONDAY TUESDAY WEDNESDAY
and I will be accompanied by ___ persons (90F for each lunch).
I request special meals (specify):
I owe you :
(registration fee including excursion and 3 lunches for one person):
1 200 F
(accompanying persons at excursions and lunches)
+ F
(for non participation to excursion or lunches) _ F
_________
Total: F
(to be paid upon registration at the conference)
Date : Signature: