From: ckirchne@loria.fr (Claude Kirchner)
Newsgroups: news.announce.conferences
Subject: RTA93
Date: 31 Jul 92 18:30:35 GMT
Expires: Thu, 10 Dec 1992 08:00:00 GMT
Reply-To: Claude.Kirchner@loria.fr (Claude Kirchner)
Organization: INRIA-Lorraine / CRIN, Nancy, France


                                  RTA-93
                              CALL FOR PAPERS

Fifth International Conference on                    June 16-18, 1993
Rewriting Techniques and Applications                Montreal Canada


   The fifth bi-annual Conference on Rewriting Techniques and Applications will
be held in Montreal, Canada on June 16-18, 1993.  Papers are being solicited in
any of the following or related areas:

Term rewriting systems                      Symbolic and algebraic computation
Constrained rewriting and theorem proving   Equational programming languages
Graph rewriting and grammars                Completion procedures
Rewrite-based theorem proving               Unification and matching algorithms
Lambda and combinatory calculi              Constraint solving
Parallel rewriting, solving and completion  Term-based architectures


Original papers, as well as technical expository ones, are solicited.
Descriptions of new working systems (4 proceedings pages) and problem sets that
provide realistic, interesting challenges in the field of rewriting techniques
and constraint solving can be also presented.  The title page of the submission
should include author's name, address, and phone number, as well as electronic
address and fax number, if available.  Papers must be unpublished and not
submitted for publication elsewhere.  Late papers and papers that require major
revision, including submissions that are too long, will be rejected.  Each
submission should include 6 (six) copies of a full draft paper of no more than
15 (fifteen) double-spaced pages.  (If a copier is unavailable to the author,
one copy will suffice.)

   Submissions must reach the program chair, at the address below, no later
than December 10, 1992. Notification of acceptance or rejection will be made by
February 15, 1993.  Camera-ready copy (following special guidelines) will be
due by April 2, 1993.

Organizing Committee:
 R. Book (Santa Barbara) N. Dershowitz (Urbana)   J. Gallier (Philadelphia)
 D. Kapur (Albany)       C. Kirchner (Nancy)      K. Madlener (Kaiserslautern)
 P. Lescanne (Nancy)     D. Plaisted (Chapel Hill)

Program Chair:
 Claude Kirchner, RTA-93
 INRIA Lorraine & CRIN                      telephone: (33) 83 59 30 11
 Campus scientifique                        fax: (33) 83 27 83 19
 615, rue du Jardin Botanique               Internet: Claude.Kirchner@loria.fr
 BP101.
 54602 Villers-les-Nancy Cedex, France

Program Committee:
 H. Comon (Orsay)            B. Courcelle (Bordeaux) H. Ganzinger (Saarbrucken)
 J. Hsiang (Stony Brook)     C. Kirchner (Nancy)     J.-W. Klop (Amsterdam)
 K. Madlener (Kaiserslautern)P. Narendran (Albany)   M. O'Donnell (Chicago)
 M. Okada (Montreal)         L. Pacholski (Wroclaw)  M. Rusinowitch (Nancy)
 M. Stickel (Menlo Park)

Local Arrangements Chair:
 Mitsuhiro Okada, RTA-93
 Department of Computer Science
 Concordia University			    telephone: (1) (514) 848 30 48
 H3G1M8 Montreal Quebec                     fax: (1) (514) 848 28 30
 Canada.                                    Internet: RTA93@concour.cs.concordia.ca

Previous meetings were held in Dijon (1985), Bordeaux (1987), Chapel Hill
(1989), Como (1991); their proceedings were published by Springer-Verlag as
part of their Lecture Notes in Computer Science series.
--
		Claude Kirchner

		INRIA Lorraine & CRIN
		Campus scientifique
		615, rue du Jardin Botanique
		BP101
		54602 Villers-les-Nancy CEDEX
		FRANCE

		Tel: 	   (33) 83 59 30 11
		Fax inria: (33) 83 27 83 19
		E-mail:    Claude.Kirchner@loria.fr
Newsgroups: news.announce.conferences