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, submit an extended abstract (between 2 to 5 pages} via Easychair:
https://easychair.org/conferences/?conf=hor2019
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.
Joint HOR + IWC + CoCo Proceedings can be found here.
Joint HOR + IWC Programme
Registration will be done through the FSCD registration web page.
Accommodation: information available through the FSCD web page.