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.