Workshop Topics
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 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
Previous HORs
HOR 2002
(
workshop's page)
was part of
FLoC 2002 in Copenhagen, Denmark.
HOR 2004
(
workshop's page)
was part of
RDP 2004 in
Aachen, Germany.
HOR 2006
(
workshop's page) was
part of
FLoC 2006 in Seattle, USA.
HOR 2007 (
workshop's page) was part of
RDP 2007 in
Paris, France.
HOR 2010
(
workshop's page) was part of
FLoC 2010 in
Edinburgh, UK.
HOR 2012 (
workshop's page)
was an
RTA 2012 workshop
in Nogaya, Japan.
HOR 2014 (
workshop's page)
was an
RTA-TLCA 2014 workshop
in
Vienna, Austria.
HOR 2016 (
workshop's page)
was an
FSCD 2016 workshop
in Porto, Portugal.
HOR 2018 (
workshop's page)
was part of
FSCD 2018 workshop
in Oxford, UK.
HOR 2019 (
workshop's page)
was part of
FSCD 2019 workshop
in Dortmund, Germany.
HOR 2023 (
workshop's page)
will be a
FSCD 2023 workshop
in Rome, Italy.
Steering Committee