RTA-affiliated workshops

The following workshops are affiliated with RTA 2002:

Workshops

  • July 21st: HOR - International Workshop on Higher-Order Rewriting
  • July 25-26: UNIF - 16th International Workshop on Unification
  • July 25th: WG16 - IFIP WG1.6 Workshop
  • July 21st: WRS - Second International Workshop on Reduction Strategies in Rewriting and Programming