PRELIMINARY
                          CALL FOR PAPERS
                              CTRS-94

             FOURTH (AND LAST) INTERNATIONAL WORKSHOP ON
           CONDITIONAL (AND TYPED) TERM REWRITING SYSTEMS

                          July 13-15, 1994
                          Jerusalem, Israel

CTRS 1994 will take place in conjunction with ICALP-94 at the Hebrew
University in Jerusalem, Israel.  There will be a minimal of overlap 
between sessions at CTRS and ICALP.

This workshop is the fourth in a series dedicated to conditional term
rewriting and other extensions of term rewriting systems, such as typed
systems, higher-order rewriting, graph rewriting, combinator-based
languages, constrained rewriting, etc.  (The current plan is to merge 
CTRS with RTA beginning with 1996.)  Previous workshops were held in 
Orsay (France), Montreal (Canada), and Pont-a-Mousson (France); 
proceedings were published in Springer's Lecture Notes in Computer 
Science series.

Original papers in any of these or related areas are solicited for
presentation and discussion at this workshop.  An extended abstract of 
at most five pages should be sent to one of the organizers by post or
(preferably) by electronic mail (in Postscript) by February 15, 1994.

Anyone planning on attending should register for ICALP and make local
arrangements through the ICALP organizers.  Student rates are available.

Organizers:

Nachum Dershowitz                       Naomi Lindenstrauss
Department of Computer Science          Computer Science Department
University of Illinois                  Hebrew University
1304 West Springfield Ave.              Givat Ram
Urbana, IL  61801                       Jerusalem  91904
USA                                     Israel
nachum@cs.uiuc.edu                      naomil@cs.huji.ac.il

ICALP Local Arrangements:

Edna Wigderson
Computer Science Department
Hebrew University
Givat Ram
Jerusalem  91904
Israel
icalp@cs.huji.ac.il