5th International Workshop on Higher-Order Rewriting
associated with RTA
Overview
HOR 2010 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. The following is a non-exhaustive list of topics for the workshop:
Applications: proof checking, theorem proving,
generic programming, declarative programming, program transformation, automated termination/confluence tools.
Foundations: pattern matching, unification, strategies,
narrowing, termination, syntactic properties, type theory, complexity of derivations.
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, categorical rewriting, higher-order abstract syntax, games and rewriting
More information can be found here.
Programme
Invited Talks
- Maribel Fernández, Kings College London
- Silvia Ghilezan, University of Novi Sad