International Workshop on Higher-Order Rewriting
The aim of HOR is to provide an informal and friendly setting to
discuss recent work and work in progress concerning higher-order
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
In case of questions, please contact the steering committee.