International Workshop on Higher-Order Rewriting International Workshop on Higher-Order Rewriting

HOR 2023 – 11th International Workshop on Higher-Order Rewriting

Rome, Italy
4 July 2023
affiliated with FSCD 2023 and CADE-29

HomeOverviewSubmissionImportant datesCommittees


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:

Informations about previous editions can be found here.


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

Please use LaTeX and the Easychair style to prepare your submission:

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. Specifically, short versions of recently published papers are welcome, and submission to HOR does not preclude formal publication at other venues.

The workshop has informal electronic proceedings that will be made available on this website.

For questions regarding submission, please contact the PC chair Carsten Fuhs.

Important dates


Programme Committee:

Steering Committee:

International Workshop on Higher-Order Rewriting