lescanne@crin.UUCP (Pierre LESCANNE) (08/09/86)
[Forwarded from TheoryNet by Laws@SRI-STRIPE.]
CALL FOR PAPERS
RTA-87
2nd INTERNATIONAL CONFERENCE
on
REWRITING TECHNIQUES AND APPLICATIONS
May 25-27 1987 Bordeaux, France
TOPICS
In May 1985 the First International Conference on Rewriting Techniques
and Applications met at Dijon. The conference was a great success, attracting
over 100 researchers working on rewriting techniques. The second conference
will take place at Bordeaux, another city famous for its wine, in May 1987.
Papers concerning the theory and applications of term rewriting are solicited
for the conference. Areas of interest include the following, but authors are
encouraged to submit papers on other topics as well.
Equational Deduction Functional and Logic Programming
Computer Algebra Automated Theorem Proving
Unification and Matching Algorithms Rewrite Rule Based Expert Systems
Algebraic and Operational Semantics Semantics of Nondeterminism
Theory of general rewriting systems Rewriting and Computer Architecture
Specification, Transformation, Validation and Generation of Programs
SUBMISSION
Each submission should include 11 copies of a one page abstract and 4
copies of a full paper of no more than 15 double spaced pages. Submissions are
to be sent to one of the Co-Chairmen:
For Europe: Pierre Lescanne, RTA-87, Centre de Recherche en
Informatique de Nancy, Campus Scientifique, BP 239,
54506 Vandoeuvre-les-Nancy Cedex, FRANCE.
For other countries: David Plaisted, RTA-87,
Department of Computer Science,
New West Hall 035-A,
University of North
Carolina at Chapel Hill,
Chapel Hill NC 27514, USA.
Paper selection will be done by circulating abstracts to all members of the
program committee, with each full paper assigned to several committee members
having appropriate expertise. In addition to selected papers, a few invited
lectures will be given by well-known researchers who have made major
contributions in the field:
INVITED LECTURERS
J-P. Jouannaud, University of Paris-Sud, France,
D. Musser, GE Research and Development Laboratory, Schenectady, USA,
M. O'Donnell, University of Chicago, Illinois, USA.
SCHEDULE
Paper submission deadline is December 15, 1986.
Acceptance/Rejection by January 25, 1987.
Camera ready copy by March 9.
Proceedings will be distributed at the conference and published by Springer
Verlag in the LNCS series.
PROGRAM COMMITTEE
B. Buchberger, University of Linz, Austria,
R. Book, University of Santa Barbara, USA,
B. Courcelle, University of Bordeaux, France,
N. Dershowitz, University of Illinois, USA,
J. Guttag, MIT, USA,
D. Kapur, General Electric, USA,
P. Lescanne, (Program co-Chairman) CRIN, France,
R. Loos, University of Karlsruhe, FRG,
D. Plaisted, (Program co-Chairman), University of North Carolina, USA
G. Plotkin, University of Edinburgh, UK,
M. Stickel, SRI-International, USA.
LOCAL COMMITTEE
B. Courcelle, R. Cori, M. Claverie
For information send mail on UUCP to: mcvax!inria!crin!lescanne
or on ARPAnet to: pierre@larch.
--------------
TN Message #62
--------------