The aim of HOR is to provide an informal and friendly setting to
discuss recent work and work in progress concerning higher-order
rewriting.
HOR 2002
was part of
FLoC 2002 in Copenhagen, Denmark.
HOR 2004 is part of the
Federated
Conference on Rewriting, Deduction, and Programming (RDP) consisting
of several co-located meetings on May 31 (Monday) - June 5 (Saturday),
2004.
TOPICS
HOR 2004 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
INVITED SPEAKERS
ACCEPTED
ABSTRACTS
DATES
| Submission Deadline: |
March 17, 2004 |
| Notification: |
April 9, 2004 |
| Final Version: |
April 30, 2004 |
PROCEEDINGS
The proceedings of HOR 2004 are published as a
technical
report of the Computer Science Department of RWTH Aachen. They are
available
here.
PROGRAM/ORGANIZING
COMMITTEE
LOCAL
ARRANGEMENTS
Jürgen Giesl
RWTH Aachen, Germany
giesl@informatik.rwth-aachen.de