HOR 2002

International Workshop on Higher-Order Rewriting
Copenhagen, Denmark, July 21st, 2002
Affiliated with RTA 2002

The aim of HOR is to provide an informal setting to discuss recent work and work in progress concerning higher-order rewriting.

The workshop's web page is at http://www.lri.fr/~kesner/hor/.

Invited speakers

  • Vincent van Oostrom, Utrecht U, The Netherlands
    joint with WRS: Optimal strategies in higher-order rewriting
  • Joe Wells, Heriot-Watt U, UK
    Rewriting in the design of type systems