Overview

HOR 2006 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

• HOR program

Invited Speakers

• Tuesday, August 15th, 09:00‑10:00
  Eelco Visser (University of Utrecht)
  Dynamic rewrite rules [pdf]
• Tuesday, August 15th, 16:00‑17:00
  Hugo Herbelin (INRIA Futurs)
  The duality of computation [pdf]

Proceedings

The proceedings of HOR 2006 will be published as technical report. They will be also available on the HOR 2006 web page.

Program Committee

Local Arrangements

History

HOR 2002 was part of FLoC 2002 in Copenhagen, Denmark.

HOR 2004 was part of the RDP 2004 in Aachen, Germany.