HOR Call for Papers

7th International Workshop on Higher-Order Rewriting
July 12, 2014 · Vienna, Austria


Also available as PDF.

Important Dates

Paper submission Wednesday, April 30, 2014  (EXTENDED)
Notification Monday, May 12, 2014
Final versions due Thursday, May 29, 2014

Aims and Scope

HOR is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting in all its forms. The following is a non-exhaustive list of topics for the workshop:

  • Applications: proof checking, type checking, theorem proving, functional programming, declarative programming, program transformation, macro and template languages, other applications using some notion of higher-order rewriting.
  • Foundations: pattern matching, unification, strategies, termination, syntactic properties, type theory.
  • Frameworks: graph rewriting, net rewriting, comparisons of different formats.
  • Implementation: explicit substitution, rewriting tools, compilation techniques.
  • Semantics: semantics of higher-order rewrite systems, higher-order abstract syntax, categorical rewriting.

For questions contact hor2014@easychair.org.

Paper Submissions

Submissions are solicited in two categories:

  • Category A: Extended abstracts of describing new results, work in progress, or problems, in higher-order rewriting.
  • Category B: Short versions of articles recently published or submitted elsewhere on higher-order rewriting, or the higher-order rewriting relevant parts of such. Papers in this category are not considered for the post-workshop proceedings.

Submissions in both categories should be between 2 and 5 pages, and should be marked with the category (either A or B). Submissions should be in PDF formatted by the EPTCS LaTeX style, and submitted electronically via the EasyChair submission website. Papers will be judged on relevance, originality, correctness, and usefulness. (See Links section below for URLs to the above sites.)


The proceedings of HOR 2014 will be included on the FLoC electronic "USB proceedings." Post-workshop proceedings of full versions of selected (category A) contributions are planned to be published as a volume of EPTCS.

Program Committee