HOR 2007 is a forum to present work concerning all aspects
of higher-order rewriting. The aim is to provide an informal and friendly
setting to discuss recent work and work in progress.
HOR 2002
was part of
FLoC 2002 in Copenhagen, Denmark.
HOR 2004 was part of the
RDP 2004 in
Aachen, Germany.
HOR 2006 was part of
FLoC 2006 in
Seattle, USA.
HOR 2007 is part of
RDP 2007 in
Paris, France.
This year, HOR enjoys additionally the status of a "small workshop" of
the
TYPES
project.
There will also be a "small TYPES workshop" on Type theory, proof theory
and rewriting (TPR '07), 4 days later in Paris.