+------------------------------------------------------------+
|                                                            |
|                    CADE-13 Workshop on                     |
|                                                            |
|        Term Schematizations and Their Applications         |
|                                                            |
|                   Tuesday, 30 July 1996                    |
|        Rutgers University, New Brunswick, NJ, USA          |
|                                                            |
|                     WORKSHOP SCHEDULE                      |
|                                                            |
+------------------------------------------------------------+



 9.00   WELCOME ADDRESS

 9.05   Overview of existing recurrent schematizations
        M. Hermann

 9.30   Classification, extension and applications of some
        schematization methods of infinite sets of terms
        A. Amaniss

10.00   Structural complexity of term schematizations
        G. Salzer

10.30   COFFEE BREAK

11.00   Functions for the generic solution of parametric 
        word equations
        H. Abdulrab, G.S. Makanin

11.30   Goal-directed completion using SOUR graphs
        C. Lynch

12.00	LUNCH

13.30   Unification of stratified second-order terms
        M. Schmidt-Schauss

14.00   Using grammars for computational representations
        of Herbrand models
        R. Matzinger

14.30   Sorted unification and its applications to automated
        theorem proving
        C. Weidenbach

15.00   COFFEE BREAK

15.30   Discussion