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 datesInvited speaker ProceedingsPreliminary programmeCommittees


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:

Information about previous editions can be found here.

Information about registration can be found here (early registration deadline: 31 May 2023).


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

All times are Anywhere on Earth.

Invited speaker

Pablo Barenbaum – Universidad de Buenos Aires, Argentina

Title: Quantitative Types for Useful Reduction


The Proceedings of HOR 2023 are now available.

Preliminary programme

Session 1

Coffee break

Session 2


Programme Committee:

Steering Committee:

International Workshop on Higher-Order Rewriting