HOR  2016

8th International Workshop on Higher-Order Rewriting

June 25, 2016          Porto, Portugal

List of Accepted Papers

Overview - Topics - Submissions - Important Dates - Program Committee - Steering Committee - Local Arrangements


HOR is a forum to present work concerning all aspects of higher-order rewriting.

HOR aims to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting, broadly construed. This includes rewriting systems that have functional variables or bound variables, the lambda-calculus and combinatory logic being paradigmatic examples.

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: graphs, nets, abstract machines, explicit substitution, rewriting tools, compilation techniques.
  • Semantics: operational semantics, denotational semantics, separability, higher-order abstract syntax.

Extended abstracts between 2 and 5 pages.
The workshop has informal, electronic proceedings.
HOR is a platform for discussing ongoing research; abstracts describing work in progress, or problems in higher-order rewriting are very welcome.
Submission is via Easychair: submit here.
For questions regarding submission, please contact the PC chair at (λ x . x@diku.dk)simonsen
Important dates

Submission Deadline:  Extended to May 2nd, 2016, 19.00GMT
Notification:                May 9, 2016
Final version:               May 30, 2016

Program Committee

Takahito Aoto (Niigata University)
Dan Dougherty (Worcester Polytechnic Institute)
Jeroen Ketema (Codeplay Software Ltd)
Alexis Saurin (Université Paris 7)
Jakob Grue Simonsen (University of Copenhagen). PC chair.

Steering Committee

Delia Kesner    Université Paris 7   France
Femke van Raamsdonk    Vrije Universiteit Amsterdam   The Netherlands

Local Arrangements

Please consult the FSCD conference page