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.