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.
HOR 2025 (workshop's page) will be a FSCD 2025 workshop in Birmingham, UK.
Steering Committee
| Delia Kesner | Université Paris 7 | France |
| Femke van Raamsdonk | Vrije Universiteit | The Netherlands |
