RTA-91
CALL FOR PAPERS

FOURTH INTERNATIONAL CONFERENCE		April 10-12, 1991
ON REWRITING TECHNIQUES AND			Como, Italy
APPLICATIONS

The fourth biannual Conference on Rewriting Techniques
and Applications will be held at Como, Italy on April 10-12,
1991.  RTA-91  will be sponsored by the State University
of Milan in cooperation with the European Association for
Theoretical Computer Science, the IEEE Technical Committee
on Mathematical Foundations of Computing, and the Association
for Computing Machinery - SIGACT, SIGART, and SIGSAM.
Papers presenting original research on rewriting techniques
and applications are sought.  Topics include but are not limited
to the following:
term rewriting systems, conditional and typed rewriting, 
completion procedures, unification and matching algorithms, 
algebraic specification, rewrite-based functional and equational
programming languages, rewrite-based theorem proving,
graph rewriting and graph grammars, higher-order systems,
rewriting techniques in symbolic and algebraic computation,
Thue systems, studies of combinatorial structures using
rewriting techniques, combinatorial rewriting in computer
science, mathematics, and other areas of application.

Original research papers are solicited.  Descriptions of new,
implemented systems will also be considered.  All submissions
should be clearly written in English and include references and
comparisons with related work (where appropriate).  If a
substantially similar paper has been or will be submitted
elsewhere, this fact must be noted in the cover letter.   Each 
submission should include ten (10) copies of an extended 
abstract of a full draft paper of at most 4,000 words 
(e.g., approximately 10-15 double-spaced pages).  (If a copier
is unavailable to the author, then one copy will suffice.)
Late papers and papers different substantially from these
guidelines may not be considered.  Please include an electronic
address (if available), full mailing address, and a telephone
number.  Submissions must reach the following address no
later than 15 September 1990:

Ronald V. Book, RTA-91, Theoretische Informatik,
Institut f"ur Informatik
Universit"at W"urzburg
Am Hubland
D-8700 W"urzburg
West Germany


(before 15 August 1990 - telephone: 805-961-2778 [in USA],
				  - internet:  book%henri@hub.ucsb.edu)
(after 15 August 1990 - from internet: 					      
					uniwue\!book%geyer@uunet.UUNET)

Notification of acceptance or rejection by 15 November 1990.
Camera-ready copy (following special guidelines) due in
W"urzburg by 10 January 1991 for Springer-Verlag's LNCS.

PROGRAM COMMITTEE:  Leo Bachmair (Stony Brook),  Ronald Book
(Santa Barbara),  Harald Ganzinger (Dortmund),  
Claude Kirchner (Nancy), Ursula Martin (Surrey), Michael O'Donnell
(Chicago),  Friedrich Otto (Kassel), Gert Smolka (Saarbrucken).

LOCAL ARRANGEMENTS:	Professor G. Degli Antoni and 
Dr. Marelva Bianchi, Dipartmento di Scienze Dell' Informazione,
Universita di Milano, Via Milano Moretto da Brescia 9,
I-20133  Milano, Italia
(telephone:  +39-02-7575-201/209)
(FAX:  +39-02-76110556)
(e-mail: gdantoni@imisiam.bitnet)