HOR 2010: July 14

5th International Workshop on Higher-Order Rewriting

associated with RTA


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.


Invited Talks

Program Chairs

Eduardo Bonelli, Depto de Ciencia y Tecnología, UNQ, Argentina

Program Committee:

Zena Ariola, University of Oregon, United States
Frédéric Blanqui, INRIA, China
Roel de Vrijer, Vrije Universiteit Amsterdam, Netherlands
Mariangiola Dezani-Ciancaglini, Universita' di Torino, Italy