HOR 2009

International Workshop on Higher-Order Rewriting

Workshop Topics          

The aim of HOR is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting.
HOR is a forum to present work concerning all aspects of higher-order rewriting.
HOR 2009 is cancelled          

Unfortunately HOR 2009 has been cancelled. We apologize for the inconvenience.

We encourage the authors of submissions of HOR 2009 to submit instead to another RDP 2009 workshop. In case of questions, please contact the steering committee.
Steering Committee          

Delia Kesner    Université Paris 7   France
Femke van Raamsdonk    Vrije Universiteit   The Netherlands