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

Herman Geuvers (Radboud University Nijmegen, Netherlands)
Makoto Hamana (Gunma University, Japan)
Ralph Matthes (C.N.R.S., University of Toulouse III, France), chair
Albert Rubio (Technical University of Catalonia, Spain)
Mark-Oliver Stehr (SRI International, U.S.A.)

Further Information

See the workshop page.

webmaster at rdp07 dot org