From hsiang@solar.csie.ntu.edu.tw Wed May 11 15:08:47 EDT 1994
Article: 21945 of comp.ai
Xref: glinda.oz.cs.cmu.edu comp.ai:21945
Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!newsfeed.pitt.edu!gatech!howland.reston.ans.net!nctuccca.edu.tw!news.cc.nctu.edu.tw!news.csie.nctu.edu.tw!hsiang
From: hsiang@solar.csie.ntu.edu.tw (Professor Jieh Hsiang)
Newsgroups: comp.ai
Subject: CFP: Rewriting Techniques and Applications (RTA-95)
Date: 2 May 1994 03:08:13 GMT
Organization: Dep. Computer Sci. & Information Eng., Chiao Tung Univ., Taiwan, R.O.C
Lines: 66
Message-ID: <2q1qqt$k6g@news.csie.nctu.edu.tw>
NNTP-Posting-Host: hsiang%@bacchus.csie.ntu.edu.tw
X-Newsreader: TIN [version 1.2 PL0]



                                    RTA-95

                               CALL FOR PAPERS

Sixth International Conference on                                 April 5-7, 1995
Rewriting Techniques and Applications                     Kaiserslautern, Germany



  The sixth Conference on Rewriting Techniques and Applications solicits papers in
any of the following or related areas:


   Term rewriting systems                  Symbolic and algebraic computation
   Constrained rewriting and deduction     Equational programming languages
   String and graph rewriting              Completion techniques
   Rewrite-based theorem proving           Unification and matching algorithms
   Conditional and higher-order rewriting  Constraint solving
   Architectures for rewriting             Parallel/distributed rewriting and deduction

  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 are also welcome. Paperson
new applications of rewriting techniques are particularly encouraged.  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.  Electronic submission in Postscript form is encouraged.
  Submissions must reach the program chair, at the address below, no later than
October 7, 1994. Notification of acceptance or rejection will be made by December 12,
1994.  Camera-ready copy (following special guidelines) will be due by January 27,
1995.

Organizing Committee:
  Ronald Book (Santa Barbara)   Nachum Dershowitz (Urbana) Jieh Hsiang (Taipei)
  Jean-Pierre Jouannaud (Orsay) Deepak Kapur (Albany)      Claude Kirchner (Nancy)
  Klaus Madlener (Kaiserslautern)David Plaisted (Chapel Hill)

Program Chair:
      Jieh Hsiang, RTA95
      Dept. of Computer Science             telephone: +886 2 362-2704
           and Information Engineering      fax: +886 2 362-8167
      National Taiwan University            Internet: rta95@csie.ntu.edu.tw
      Taipei, Taiwan

Program Committee:
  Leo Bachmair (Stony Brook) Hubert Comon (Orsay)     Nachum Dershowitz (Urbana)
  Jieh Hsiang (Taipei)       Deepak Kapur (Albany)    Joxan Jaffar (Yorktown Heights)
  Klaus Madlener (Kaiserslautern) Jos'e Meseguer (Menlo Park) Theo Mora (Genova)
  Tobias Nipkow (M"unchen)   Michael Rusinowitch (Nancy) Manfred Schmidt-Schauss (Frankfurt)
  Val Tannen (Philadelphia)   Yoshihito Toyama (Ishikawa) Hantao Zhang (Iowa City)

Local Arrangements Chairs:
      J"urgen Avenhaus & Klaus Madlener, RTA95
      Fachbereich Informatik
      Universit"at Kaiserslautern    telephone: +49 631 2052268
      Postfach 3049                  fax: +49 631 2053558
      D-67653 Kaiserslautern         Internet: {avenhaus,madlener}@informatik.uni-kl.de
      Germany
  Previous meetings were held in Dijon (1985), Bordeaux (1987), Chapel Hill (1989),
Como (1991), Montreal (1993); their proceedings were published by Springer-Verlag
as part of their Lecture Notes in Computer Science series.