HOR 2018 - 9th Workshop on Higher Order Rewriting (HOR 2018)

HOR is a forum to present work concerning all aspects of higher-order rewriting.
HOR aims to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting, broadly construed. This includes rewriting systems that have functional variables or bound variables, the lambda-calculus and combinatory logic being paradigmatic examples.
Topics
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: graphs, nets, abstract machines, explicit substitution, rewriting tools, compilation techniques.
Semantics: operational semantics, denotational semantics, separability, higher-order abstract syntax.