Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. To further research in these and related areas, the Second International Workshop will be held next summer. Topics will include the theory of conditional rewriting and its application to programming languages, specification languages, automated deduction, as well as typed rewriting, higher-order rewriting, graph rewriting, combinator based languages, and their application to parallel architectures, parallel computation models, and compilation techniques. Sessions for formal presentations of papers, for system demonstrations, and for informal discussion are scheduled. We are soliciting research papers for the presentation sessions and system description papers for the demonstration sessions.
Ongoing work is also welcome.
Notice of acceptance will be sent within one month of our receipt of the submission. Springer has expressed their intention to continue publication of the CTRS Workshop proceedings in the Lecture Notes in Computer Science series.