|AboutConferences Colloquium Workshops Practical||
4th International Workshop on Higher-Order Rewriting
Part of RDP'07
This year, HOR enjoys additionally the status of a "small workshop" of the TYPES project
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.
Further InformationSee the workshop page.
webmaster at rdp07 dot org