HOR 2019

10th International Workshop on

Higher-Order Rewriting

Dortmund, Germany

28 June 2019

affiliated with FSCD 2019


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. The following is a non-exhaustive list of topics for the workshop:

  • Applications: proof checking, theorem proving, generic programming, declarative programming, program transformation, automated termination/confluence tools.
  • Foundations: pattern matching, unification, strategies, narrowing, termination, syntactic properties, type theory, complexity of derivations.
  • 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, categorical rewriting, higher-order abstract syntax, games and rewriting

Informations about previous editions can be found here.


To give a presentation at the workshop, submit an extended abstract (between 2 to 5 pages} via Easychair:


HOR is a platform for discussing open questions, ongoing research, and new perspectives, as well as new results. Extended abstracts describing work in progress, preliminary results, research projects, or problems in higher-order rewriting are very welcome.

The workshop has informal electronic proceedings.

For questions regarding submission, please contact the PC chair Silvia Ghilezan.

Important Dates

  • Submission: 15 April 2019 25 April 2019 Extended
  • Notification: 17 May 2019
  • Final version: 31 May 2019
  • Workshop: 28 June 2019

Invited speakers


Program Committee

  • Silvia Ghilezan  (Chair)            University of Novi Sad, Serbia
  • Stefano Guerrini                        Paris 13 University, France
  • Masahito Hasegawa                Kyoto University, Japan
  • Cynthia Kop                               Radboud University, The Netherlands
  • Pierre Lescanne                        École Normale Supérieure de Lyon, France
  • Julian Nagele                             Queen Mary University of London, UK
  • Vincent van Oostrom                University of Innsbruck, Austria

Steering Committee

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