About Conferences Colloquium Workshops Practical

HOR 2007

4th International Workshop on Higher-Order Rewriting

Monday, June 25, 2007, Paris
Part of RDP'07
This year, HOR enjoys additionally the status of a "small workshop" of the TYPES project


HOR programme
HOR 2007 is a forum to present work concerning all aspects of higher-order rewriting. The following is a non-exhaustive list of topics for the workshop: Applications: proof checking, theorem proving, generic programming, declarative programming, program transformation. Foundations: pattern matching, unification, strategies, narrowing, termination, syntactic properties, type theory. Frameworks: term rewriting, conditional rewriting, graph rewriting, net rewriting, comparisons of different frameworks. Implementation: explicit substitution, rewriting tools, compilation techniques. Semantics: semantics of higher-order rewriting, higher-order abstract syntax.

Program Committee

Further Information

See the workshop page.
webmaster at rdp07 dot org