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:
To give a presentation at the workshop, please submit an extended abstract (between 2 to 5 pages) via Easychair:
(TBA)
Please use LaTeX and the Easychair style to prepare your submission:
https://easychair.org/publications/easychair.zip
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 Pablo Barenbaum.
TBA
TBA
TBA